Abstract
Formal methods provide systematic and rigorous techniques for software development and we believe that they should be part of academic software engineering education. In this paper, we describe how we included a selection of formal methods in a foundational Bachelorlevel Software Engineering course. We show how we introduce the basic elements of modeling and programming language semantics, and discuss how we address the theory and practice of model checking within the scope of the two semesters of the course.
| Original language | English |
|---|---|
| Pages (from-to) | 19-26 |
| Number of pages | 8 |
| Journal | CEUR Workshop Proceedings |
| Volume | 1385 |
| Issue number | January |
| Publication status | Published - 2015 |
| Event | 1st Workshop on Formal Methods in Software Engineering Education and Training, FMSEE and T 2015 - co-located with the 20th International Symposium on Formal Methods, FM 2015 - Oslo, Norway Duration: 23 Jun 2015 → … |