Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper)

• Published in: Formal Methods Teaching Vol. 13122; pp. 75 - 83
• Main Author: Lestingi, Livia
• Format: Book Chapter
• Language: English
• Published: Switzerland Springer International Publishing AG 2021; Springer International Publishing
• Series: Lecture Notes in Computer Science
• Subjects: Collaborative learning; Formal methods teaching; Postgraduate education; Software engineering education

It is common knowledge among researchers in the field that teaching formal methods can prove a challenging task. This paper reports on the approach adopted for a Master’s Degree course at Politecnico di Milano, Italy, as an attempt to reverse this trend by introducing collaborative learning activiti...