Sciweavers

TFM
2009
Springer
128views Formal Methods» more  TFM 2009»
13 years 9 months ago
How to Explain Mistakes
Stefan Hallerstede, Michael Leuschel
TFM
2009
Springer
151views Formal Methods» more  TFM 2009»
13 years 11 months ago
Which Mathematics for the Information Society?
João F. Ferreira, Alexandra Mendes, Roland ...
TFM
2009
Springer
136views Formal Methods» more  TFM 2009»
13 years 11 months ago
On Teaching Formal Methods: Behavior Models and Code Analysis
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...
Jan Kofron, Pavel Parizek, Ondrej Sery
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
13 years 11 months ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer
TFM
2009
Springer
119views Formal Methods» more  TFM 2009»
13 years 11 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. Th...
Néstor Cataño, Camilo Rueda
TFM
2009
Springer
113views Formal Methods» more  TFM 2009»
13 years 11 months ago
Teaching Concurrency: Theory in Practice
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...
Luca Aceto, Anna Ingólfsdóttir, Kim ...