TFM

Keyphrases

Publications

2009

Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden
What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project. TFM (2009)
Sureyya Tarkan, Vibha Sazawal
Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z. TFM (2009)
João F. Ferreira, Alexandra Mendes, Roland Carl Backhouse, Luís Soares Barbosa
Which Mathematics for the Information Society? TFM (2009)
Jeffrey Kramer
Abstraction and Modelling: A Complementary Partnership. TFM (2009)
Néstor Cataño, Camilo Rueda
Teaching Formal Methods for the Unconquered Territory. TFM (2009)
Peter Csaba Ölveczky
Teaching Formal Methods Based on Rewriting Logic and Maude. TFM (2009)
Erik Poll
Teaching Program Specification and Verification Using JML and ESC/Java2. TFM (2009)
Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification. TFM (2009)
Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jirí Srba
Teaching Concurrency: Theory in Practice. TFM (2009)
Jan Kofron, Pavel Parízek, Ondrej Sery
On Teaching Formal Methods: Behavior Models and Code Analysis. TFM (2009)
Stefan Hallerstede, Michael Leuschel
How to Explain Mistakes. TFM (2009)

volume 5846, 2009

Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings TFM 5846 (2009)

2004

volume 3294, 2004

Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings TFM 3294 (2004)