23 search results - page 1 / 5 » Teaching Formal Methods: Lessons to Learn |
IWFM
1998
13 years 6 months ago
1998
TFM
2009
Springer
13 years 11 months ago
2009
Springer
Teaching courses that rely on sound mathematical principles is nowadays a challenging task at many universities. On the one hand there is an increased demand for educating students...
FMICS
2010
Springer
13 years 6 months ago
2010
Springer
FM
2003
Springer
13 years 10 months ago
2003
Springer
This paper describes the lessons we learned over a thirteen year period while helping to develop the shutdown systems for the nuclear generating station at Darlington, Ontario, Can...
ICFCA
2005
Springer
13 years 10 months ago
2005
Springer
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...