Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering |
| Editors | Leszek Maciaszek, Leszek Maciaszek, Joaquim Filipe |
| Publisher | SciTePress |
| Pages | 370-376 |
| Number of pages | 7 |
| ISBN (Electronic) | 9789897581892 |
| DOIs | |
| State | Published - 2016 |
| Event | 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, ENASE 2016 - Rome, Italy Duration: 27 Apr 2016 → 28 Apr 2016 |
Publication series
| Name | ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering |
|---|
Conference
| Conference | 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, ENASE 2016 |
|---|---|
| Country/Territory | Italy |
| City | Rome |
| Period | 27/04/16 → 28/04/16 |
Bibliographical note
Publisher Copyright:Copyright © 2016 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.
Keywords
- Collaboration
- Formal modelling
- Teaching
ASJC Scopus subject areas
- Software