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 条
  • [1] Teaching of Formal Methods for Software Engineering
    Spichkova, Maria
    Zamansky, Anna
    ENASE: PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL SOFTWARE APPROACHES TO SOFTWARE ENGINEERING, 2016, : 370 - 376
  • [2] A software engineering curriculum incorporating formal methods: A progress report
    Sobel, AEK
    FRONTIERS IN EDUCATION 1997 - 27TH ANNUAL CONFERENCE, PROCEEDINGS, BOLS I - III, 1997, : 872 - 872
  • [3] Empirical results of a software engineering curriculum incorporating formal methods
    Sobel, AEK
    SIGCSE 2000: PROCEEDINGS OF THE THIRTY-FIRST SIGCSE TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2000, 32 (01): : 157 - 161
  • [4] Software engineering and formal methods
    Aichernig, Bernhard
    Beckert, Bernhard
    SOFTWARE AND SYSTEMS MODELING, 2008, 7 (03): : 255 - 256
  • [5] Software engineering and formal methods
    Hinchey, Mike
    Jackson, Michael
    Cousot, Patrick
    Cook, Byron
    Bowen, Jonathan P.
    Margaria, Tiziana
    COMMUNICATIONS OF THE ACM, 2008, 51 (09) : 54 - 59
  • [6] Software engineering and formal methods
    Bernhard Aichernig
    Bernhard Beckert
    Software & Systems Modeling, 2008, 7 : 255 - 256
  • [7] Formal Methods and Software Engineering
    Serna Montoya, Edgar
    REVISTA VIRTUAL UNIVERSIDAD CATOLICA DEL NORTE, 2010, 30 : 158 - 184
  • [8] FORMAL METHODS IN SOFTWARE ENGINEERING
    LEVESON, NG
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 929 - 931
  • [9] Incorporating an Operational Formal into a Software Engineering Curriculum
    Sobel, Ann E. Kelley
    IEEE TRANSACTIONS ON EDUCATION, 2001, 44 (02) : 219 - 219
  • [10] Teaching ethics in the software engineering curriculum
    Towell, E
    16TH CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING, PROCEEDINGS, 2003, : 150 - 157
12345