Sciweavers

TFM
2009
Springer

Teaching Formal Methods for the Unconquered Territory

14 years 6 months ago
Teaching Formal Methods for the Unconquered Territory
Abstract. We summarise our experiences in teaching two formal methods courses at Pontificia Universidad Javeriana. The first course is a JML-based software engineering course. The second course is a modeldriven software engineering course realised in the B method for software development. We explain how formal methods are promoted in Pontificia Universidad Javeriana, how we motivate students to embrace formal methods techniques, and how they are promoted through the presentation of motivating examples.
Néstor Cataño, Camilo Rueda
Added 25 May 2010
Updated 25 May 2010
Type Conference
Year 2009
Where TFM
Authors Néstor Cataño, Camilo Rueda
Comments (0)