Paper Info
Title
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 model-driven 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.
Year
DOI
Venue
2009
10.1007/978-3-642-04912-5_2
TFM
Keywords
Field
DocType
b method,formal methods course,formal methods technique,formal method,unconquered territory,teaching formal methods,software development,model-driven software engineering course,jml-based software engineering course,pontificia universidad javeriana,java modeling language,discrete mathematics,software engineering
Java code,Software engineering,Computer science,Formal specification,B-Method,Formal methods,Proof obligation,Software development,Social software engineering
Conference
Volume
ISSN
Citations 
5846
0302-9743
4
PageRank 
References 
Authors
0.51
9
2
Name
Order
Citations
PageRank
Nestor Cataño1574.77
Camilo Rueda224341.36