TY - GEN
T1 - Teaching of Formal Methods for software engineering
AU - Spichkova, Maria
AU - Zamansky, Anna
N1 - Publisher Copyright: Copyright © 2016 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.
PY - 2016
Y1 - 2016
N2 - 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.
AB - 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.
KW - Collaboration
KW - Formal modelling
KW - Teaching
UR - https://www.scopus.com/pages/publications/84979609950
U2 - 10.5220/0005928503700376
DO - 10.5220/0005928503700376
M3 - Conference contribution
T3 - ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering
SP - 370
EP - 376
BT - ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering
A2 - Maciaszek, Leszek
A2 - Filipe, Joaquim
T2 - 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, ENASE 2016
Y2 - 27 April 2016 through 28 April 2016
ER -