TFM 2009:
Eindhoven,
The Netherlands
Jeremy Gibbons, José Nuno Oliveira (Eds.):
Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings.
Lecture Notes in Computer Science 5846 Springer 2009, ISBN 978-3-642-04911-8 
- Jeffrey Kramer:
Abstraction and Modelling: A Complementary Partnership.
1
- Néstor Cataño, Camilo Rueda:
Teaching Formal Methods for the Unconquered Territory.
2-19
- Peter Csaba Ölveczky:
Teaching Formal Methods Based on Rewriting Logic and Maude.
20-38
- João F. Ferreira, Alexandra Mendes, Roland Carl Backhouse, Luís Soares Barbosa:
Which Mathematics for the Information Society?
39-56
- Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden:
What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project.
57-71
- Sureyya Tarkan, Vibha Sazawal:
Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z.
72-91
- Erik Poll:
Teaching Program Specification and Verification Using JML and ESC/Java2.
92-104
- Stefan Hallerstede, Michael Leuschel:
How to Explain Mistakes.
105-124
- Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle:
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification.
125-143
- Jan Kofron, Pavel Parizek, Ondrej Sery:
On Teaching Formal Methods: Behavior Models and Code Analysis.
144-157
- Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jirí Srba:
Teaching Concurrency: Theory in Practice.
158-175
Last update Fri May 25 08:43:08 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
