TFM 2004: Ghent, Belgium

@proceedings{DBLP:conf/tfm/2004,
  editor    = {C. Neville Dean and
               Raymond T. Boute},
  title     = {Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent,
               Belgium, November 18-19, 2004, Proceedings},
  booktitle = {TFM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3294},
  year      = {2004},
  isbn      = {3-540-23611-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Kung-Kiu Lau:
  A Beginner's Course on Reasoning About Imperative Programs. 1-16
  Electronic Edition (link) BibTeX
• Sylvia da Rosa:
  Designing Algorithms in High School Mathematics. 17-31
  Electronic Edition (link) BibTeX
• Joy N. Reed, Jane Sinclair:
  Motivating Study of Formal Methods in the Classroom. 32-46
  Electronic Edition (link) BibTeX
• Martin Loomes, Bruce Christianson, Neil Davey:
  Formal Systems, Not Methods. 47-64
  Electronic Edition (link) BibTeX
• Egon Börger:
  A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis. 65-84
  Electronic Edition (link) BibTeX
• Manuel Carro, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
  Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. 85-106
  Electronic Edition (link) BibTeX
• Richard F. Paige, Jonathan S. Ostroff:
  Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. 107-123
  Electronic Edition (link) BibTeX
• Roger Duke, Tim Miller, Paul A. Strooper:
  Integrating Formal Specification and Software Verification and Validation. 124-139
  Electronic Edition (link) BibTeX
• Peter Pepper:
  Distributed Teaching of Formal Methods. 140-152
  Electronic Edition (link) BibTeX
• Manuel J. Fernández Iglesias, Martín Llamas Nistal:
  An Undergraduate Course on Protocol Engineering - How to Teach Formal Methods Without Scaring Students. 153-165
  Electronic Edition (link) BibTeX
• Henri Habrias, Sébastien Faucou:
  Linking Paradigms, Semi-formal and Formal Notations. 166-184
  Electronic Edition (link) BibTeX
• Jim Davies, Andrew Simpson, Andrew Martin:
  Teaching Formal Methods in Context. 185-202
  Electronic Edition (link) BibTeX
• Ken Robinson:
  Embedding Formal Development in Software Engineering. 203-213
  Electronic Edition (link) BibTeX
• Dino Mandrioli:
  Advertising Formal Methods and Organizing Their Teaching: Yes, but .... 214-224
  Electronic Edition (link) BibTeX
• Baowen Xu, Yingzhou Zhang, Yanhui Li:
  Retrospect and Prospect of Formal Methods Education in China. 225-234
  Electronic Edition (link) BibTeX
• José Nuno Oliveira:
  A Survey of Formal Methods Courses in European Higher Education. 235-248
  Electronic Edition (link) BibTeX