Teaching formal methods early in the software engineering curriculum

被引：0
|
作者：
Sobel, Ann E.K. [1 ]
Saiedian, Hossein [1 ]
Stavely, Allan [1 ]
Henderson, Peter [1 ]
机构：
[1] Miami Univ, Oxford, United States
来源：
Software Engineering Education Conference, Proceedings | 2000年
关键词：
Curricula - Formal logic - Industrial applications - Problem solving - Societies and institutions - Teaching;
D O I：
10.1109/CSEE.2000.827022
中图分类号：
学科分类号：
摘要：
Organizations responsible for a wide range of applications have found it necessary to find an improved means of intellectual control over their complex system development and that formal methods can meet this need. Against this background, the importance of including the definition and application of a formal method into the undergraduate curriculum is emphasized to increase the complex problem solving skills of the software engineer. Further it is emphasized that formal analysis should be introduced early into the undergraduate curriculum to ensure substantial learning, use, and training in formal methods application.
引用
收藏
页码：55 / 56
相关论文
共 50 条
  • [41] SoSyM Special Section on Software Engineering and Formal Methods
    Jorge Cuellar
    Zhiming Liu
    Software & Systems Modeling, 2007, 6 : 37 - 38
  • [42] On Complementing an Undergraduate Software Engineering Course with Formal Methods
    Westphal, Bernd
    2020 IEEE 32ND CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING (CSEE&T), 2020, : 219 - 228
  • [43] Empirical Software Engineering and formal Methods for IoT Systems
    Basile, Davide
    ter Beek, Maurice
    Broccia, Giovanna
    Ferrari, Alessio
    ERCIM NEWS, 2022, (131): : 34 - 35
  • [44] SoSyM special section on software engineering and formal methods
    Cuellar, Jorge
    Liu, Zhiming
    SOFTWARE AND SYSTEMS MODELING, 2007, 6 (01): : 37 - 38
  • [45] Formal methods: mathematics, computer science or software engineering?
    Tremblay, Guy, 2000, IEEE, Piscataway, NJ, United States
  • [46] Final results of incorporating an operational formal method into a software engineering curriculum
    Kelley Sobel, Ann E.
    Proceedings - Frontiers in Education Conference, 1999, 2 : 3 - 18
  • [47] Exploration and Practice on the Teaching Methods of Configuration Software Curriculum
    Feng, Xiaolin
    Mao, Haijie
    Li, Zhanming
    Chen, Hui
    ICFCSE 2011: 2011 INTERNATIONAL CONFERENCE ON FUTURE COMPUTER SUPPORTED EDUCATION, VOL 2, 2011, : 219 - 222
  • [48] Formal Methods for Interactive Systems: A Research Field in Between HCI, Formal Methods and Software Engineering
    Ait-Ameur, Yamine
    Palanque, Philippe
    SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS, 2018, 11176 : 202 - 204
  • [49] Teaching Methods in Software Engineering A Systematic Review
    Anicic, Katarina Pazur
    Stapic, Zlatko
    IEEE SOFTWARE, 2022, 39 (06) : 73 - 79
  • [50] Teaching Software Engineering Methods with Agile Games
    Baumann, Annette
    PROCEEDINGS OF THE 2020 IEEE GLOBAL ENGINEERING EDUCATION CONFERENCE (EDUCON 2020), 2020, : 1647 - 1650
12345