Teaching Formal Methods: From Software in the Small to Software in the Large

In this paper, we report the author's experience teaching formal methods to undergraduate students in the fourth year of the Software Engineering degree at the University of Malaga. The subject is divided into three blocks devoted to explaining the application of formal methods at different abstraction levels during the process of developing software. Although we teach the theoretical basis for students to understand the techniques, we mainly focus on the practical application of formal methods. Students are asked to realize in pairs three modelling and specifying projects of medium size (one for each block). The practical work corresponds to 60% of the student assessment, the remaining 40% is assessed with an exam on the theory of the subject matter. We have been teaching the subject during the last five years with very good results.