FMCAD
2009
Springer
13 years 11 months ago
2009
Springer
FM
2009
Springer
13 years 11 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
13 years 11 months ago
2009
Springer
TFM
2009
Springer
13 years 11 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
13 years 11 months ago
2009
Springer
TFM
2009
Springer
13 years 11 months ago
2009
Springer
TFM
2009
Springer
13 years 11 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
13 years 11 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
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...
TFM
2009
Springer
13 years 11 months ago
2009
Springer
