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 条
  • [21] Teaching Software Engineering in K-12 Education: A Systematic Mapping Study
    da Cruz Pinheiro, Fernando
    von Wangenheim, Christiane Gresse
    Missfeldt Filho, Raul
    INFORMATICS IN EDUCATION, 2018, 17 (02): : 167 - 206
  • [22] Web portal implementation based on free software to support collaborative process of developing a videogame for teaching of software engineering
    Ismael Maya-Sarasty, Francisco
    Arenas-Seleey, Daniel
    REVISTA EDUCACION EN INGENIERIA, 2018, 13 (26): : 108 - 115
  • [23] It's all about process: Project-oriented teaching of software engineering
    Groth, DP
    Robertson, EL
    14TH CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING, PROCEEDINGS, 2001, : 7 - 17
  • [24] Innovative teaching methods in engineering education: the STEAM- Active project
    Portillo-Blanco, Ane
    Gutierrez-Berraondo, Jose
    Trombetti, Lorenzo
    Zuza, Kristina
    Sirmakessis, Spiros
    Moriconi, Alessio
    Iturbe-Zabalo, Edurne
    Barelli, Linda
    Pasqua, Stefano
    2023 32ND ANNUAL CONFERENCE OF THE EUROPEAN ASSOCIATION FOR EDUCATION IN ELECTRICAL AND INFORMATION ENGINEERING, EAEEIE, 2023, : 128 - 132
  • [25] Analysis of the effects of the use of Gamification as a teaching strategy in disciplines related to the area of Software Engineering
    Marinato, Matheus Serrao
    Alves, Socorro Vania Lourenco
    Alves, Enoque Calvino Melo
    2020 XV CONFERENCIA LATINOAMERICANA DE TECNOLOGIAS DE APRENDIZAJE (LACLO), 2020,
  • [26] 3D modelling software as a tool in teaching at heavy current electrical engineering
    Kuchynková, H
    IEEE REGION 8 EUROCON 2003, VOL A, PROCEEDINGS: COMPUTER AS A TOOL, 2003, : 100 - 103
  • [27] Taxing Collaborative Software Engineering: The Challenges for Tax Compliance in Software Engineering
    Dorner, Michael
    Capraro, Maximilian
    Treidler, Oliver
    Kunz, Tom-Eric
    Smite, Darja
    Zabardast, Ehsan
    Mendez, Daniel
    Wnuk, Krzysztof
    IEEE SOFTWARE, 2024, 41 (04) : 143 - 150
  • [28] An Early Software Engineering Approach to Teaching CS1, CS2 and AI
    Rao, T. M.
    Mitra, Sandeep
    SIGCSE'08: PROCEEDINGS OF THE 39TH ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2008, : 143 - 147
  • [29] Application of Process Re-Engineering Methods to Enhance the Teaching-Learning Process in a Mechanical Engineering Department
    Manuel Munoz-Guijosa, Juan
    Bautista Paz, Emilio
    Fe Verdu-Rios, M.
    Diaz-Lantada, Andres
    Lafont, Pilar
    Echavarri, Javier
    Luis Munoz, Jose
    Lorenzo, Hector
    Munoz, Julio
    INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, 2009, 25 (01) : 102 - 111
  • [30] Formal Methods in Collaborative Projects
    Zamansky, Anna
    Rodriguez-Navas, Guillermo
    Adams, Mark
    Spichkova, Maria
    ENASE: PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL SOFTWARE APPROACHES TO SOFTWARE ENGINEERING, 2016, : 396 - 402
12345