Teaching of Formal Methods for Software Engineering

Maria Spichkova, Anna Zamansky

2016

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.

Paper Citation

in Harvard Style

Spichkova M. and Zamansky A. (2016). Teaching of Formal Methods for Software Engineering . In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: COLAFORM, (ENASE 2016) ISBN 978-989-758-189-2, pages 370-376. DOI: 10.5220/0005928503700376

in Bibtex Style

@conference{colaform16,
author={Maria Spichkova and Anna Zamansky},
title={Teaching of Formal Methods for Software Engineering},
booktitle={Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: COLAFORM, (ENASE 2016)},
year={2016},
pages={370-376},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005928503700376},
isbn={978-989-758-189-2},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: COLAFORM, (ENASE 2016)
TI - Teaching of Formal Methods for Software Engineering
SN - 978-989-758-189-2
AU - Spichkova M.
AU - Zamansky A.
PY - 2016
SP - 370
EP - 376
DO - 10.5220/0005928503700376