Teaching introductory formal methods and discrete mathematics to software engineers: reflections on a modelling-focussed approach
Much has been written about the challenges of teaching discrete mathematics and formal methods. In this paper we discuss the experiences of delivering a course that serves as an introduction to both. The one-week intensive course, Software Engineering Mathematics, is delivered as part of the Univers...
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Conference item |
| Γλώσσα: | English |
| Έκδοση: |
Springer Nature
2019
|