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

TitleTeaching Formal Methods: From Software in the Small to Software in the Large
Publication TypeConference Paper
Year of Publication2019
AuthorsGallardo M-del-M, Panizo L
Conference NameFormal Methods Teaching
PublisherSpringer International Publishing
Conference LocationCham
ISBN Number978-3-030-32441-4
Abstract

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 Málaga. 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 \backslash%\$\$of the student assessment, the remaining \$\$40 \backslash%\$\$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.