Teaching of Formal Methods for Software Engineering

被引：4
作者：
Spichkova, Maria [1 ]
Zamansky, Anna [2 ]
机构：
[1] RMIT Univ, Sch Sci, 414-418 Swanston St, Melbourne, Vic 3001, Australia
[2] Univ Haifa, Informat Syst Dept, IL-31905 Haifa, Israel
来源：
ENASE: PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL SOFTWARE APPROACHES TO SOFTWARE ENGINEERING | 2016年
关键词：
Formal Modelling; Collaboration; Teaching;
D O I：
10.5220/0005928503700376
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The use of Formal Methods (FMs) offers rigour and precision, while reducing ambiguity and inconsistency. The major barriers hindering the adoption of FMs in industry are the problems of understandability, comprehensibility, and scalability. To solve the understandability problem, from one side, the readability of the method have to be increased, but from another side, an appropriate teaching and learning approach have to be introduced. This paper presents an overview of existing approaches on teaching of FMs and Logic, also discusses the common issues in teaching of this subjects.
引用
收藏
页码：370 / 376
页数：7
相关论文
共 50 条
  • [1] 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
  • [2] University-industry Collaboration for Software Engineering Teaching
    Zhao, Weidong
    Wang, Anhua
    PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5, 2008, : 2681 - 2685
  • [3] A Report on the Teaching of Software Ecosystems in Software Engineering Discipline
    Coutinho, Emanuel F.
    Santos, Italo
    Moreira, Leonardo O.
    Bezerra, Carla I. M.
    PROCEEDINGS OF THE XXXIII BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING, SBES 2019, 2019, : 130 - 139
  • [4] Teaching Software Modelling in an Undergraduate Introduction to Software Engineering
    Westphal, Bernd
    2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019), 2019, : 690 - 699
  • [5] Teaching tools for software engineering education
    Dick, Martin
    Postema, Margot
    Miller, Jan
    Proceedings of the Conference on Integrating Technology into Computer Science Education, ITiCSE, 2000, : 49 - 52
  • [6] Teaching formal methods lite via testing
    Utting, M
    Reeves, S
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2001, 11 (03) : 181 - 195
  • [7] Combination of Research and Teaching in Software Engineering Education
    Liu Jianguo
    2009 WASE INTERNATIONAL CONFERENCE ON INFORMATION ENGINEERING, ICIE 2009, VOL II, 2009, : 437 - 440
  • [8] The Furtherance of Motivation in the Context of Teaching Software Engineering
    Figas, P.
    Hagel, G.
    Bartel, A.
    2013 IEEE GLOBAL ENGINEERING EDUCATION CONFERENCE (EDUCON), 2013, : 1299 - 1304
  • [9] Research on the Application of Concept Map to Software Engineering Teaching
    Yang, Chunting
    Liu, Yang
    2009 INTERNATIONAL CONFERENCE ON SCALABLE COMPUTING AND COMMUNICATIONS & EIGHTH INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTING, 2009, : 612 - 615
  • [10] Collaborative Environments in Software Engineering Teaching: A FLOSS Approach
    Fernandesand, Sara
    Barbosa, Luis Soares
    PROCEEDINGS OF THE 15TH EUROPEAN CONFERENCE ON E-LEARNING (ECEL 2016), 2016, : 201 - 206
12345