Talk "Teaching Formal Methods for Software Engineering - Ten Principles"

by Holger Schlingloff

Sun, 07 April 2019 at 02:00 pm in Prague, Czech Republic

Joint work with: Markus Roggenbach

Abstract: 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.