Teaching Formal Methods for Software Engineering – Ten Principles


In this paper we report and reflect about the didactic principles underlying our endeavour to write a book on “Formal Methods for Software Engineering – Languages, Methods, Application Domains”, and to teach its contents at international summer schools. Target audience for the book are taught master students, possibly striving for a career in industry, and doctoral students in their early years, possibly in search of a suitable topic for their dissertation. We outline ten principles underlying the design of the book, coin a recommendation from each principle, and give appropriate examples. We report about the feedback from participants to the schools and lectures, and relate our principles to other pedagogical suggestions for teaching Formal Methods.

2 Figures and Tables

Cite this paper

@inproceedings{Cerone2013TeachingFM, title={Teaching Formal Methods for Software Engineering – Ten Principles}, author={Antonio Cerone and Markus Roggenbach and Bernd-Holger Schlingloff and Gerardo Schneider and Siraj Ahmed Shaikh}, year={2013} }