FMCAD
2009
Springer
14 years 5 months ago
2009
Springer
FM
2009
Springer
14 years 5 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
TFM
2009
Springer
14 years 5 months ago
2009
Springer
TFM
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
TFM
2009
Springer
14 years 5 months ago
2009
Springer
TFM
2009
Springer
14 years 5 months ago
2009
Springer
TFM
2009
Springer
14 years 5 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
TFM
2009
Springer
14 years 5 months ago
2009
Springer
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. Th...
TFM
2009
Springer
14 years 5 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...
TFM
2009
Springer
14 years 5 months ago
2009
Springer
