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

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

Full description

Saved in:
Bibliographic Details
Published inFormal Methods Teaching Vol. 13122; pp. 75 - 83
Main Author Lestingi, Livia
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2021
Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
Collaborative learning
Formal methods teaching
Postgraduate education
Software engineering education
Online AccessGet full text

Cover

More Information
Summary: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 activities. Students put concepts learned during theoretical lectures into practice through a hands-on group assignment. Each group develops the formal model of a Cyber-Physical System through the Uppaal tool, starting from a set of requirements provided by the instructor. After delivering the assignment, we invite students to fill an evaluation survey whose results suggest a very high satisfaction level towards the hybrid theoretical-practical approach of the course.
ISBN:9783030915490
3030915492
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-030-91550-6_6