Conferences in DBLP

Teaching Formal Methods (tfm)
2004 (conf/tfm/2004)

1. Kung-Kiu Lau
   A Beginner's Course on Reasoning About Imperative Programs. [Citation Graph (0, 0)][DBLP]
   TFM, 2004, pp:1-16 [Conf]
   
2. Sylvia da Rosa
   Designing Algorithms in High School Mathematics. [Citation Graph (0, 0)][DBLP]
   TFM, 2004, pp:17-31 [Conf]
   
3. Joy N. Reed, Jane Sinclair
   Motivating Study of Formal Methods in the Classroom. [Citation Graph (0, 0)][DBLP]
   TFM, 2004, pp:32-46 [Conf]
   
4. Martin Loomes, Bruce Christianson, Neil Davey
   Formal Systems, Not Methods. [Citation Graph (0, 0)][DBLP]
   TFM, 2004, pp:47-64 [Conf]
   
5. Egon Börger
   A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis. [Citation Graph (0, 0)][DBLP]
   TFM, 2004, pp:65-84 [Conf]
   
6. 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. [Citation Graph (0, 0)][DBLP]
   TFM, 2004, pp:85-106 [Conf]
   
7. Richard F. Paige, Jonathan S. Ostroff
   Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. [Citation Graph (0, 0)][DBLP]
   TFM, 2004, pp:107-123 [Conf]
   
8. Roger Duke, Tim Miller, Paul A. Strooper
   Integrating Formal Specification and Software Verification and Validation. [Citation Graph (0, 0)][DBLP]
   TFM, 2004, pp:124-139 [Conf]
   
9. Peter Pepper
   Distributed Teaching of Formal Methods. [Citation Graph (0, 0)][DBLP]
   TFM, 2004, pp:140-152 [Conf]
   
10. Manuel J. Fernández Iglesias, Martín Llamas Nistal
    An Undergraduate Course on Protocol Engineering - How to Teach Formal Methods Without Scaring Students. [Citation Graph (0, 0)][DBLP]
    TFM, 2004, pp:153-165 [Conf]
    
11. Henri Habrias, Sébastien Faucou
    Linking Paradigms, Semi-formal and Formal Notations. [Citation Graph (0, 0)][DBLP]
    TFM, 2004, pp:166-184 [Conf]
    
12. Jim Davies, Andrew Simpson, Andrew Martin
    Teaching Formal Methods in Context. [Citation Graph (0, 0)][DBLP]
    TFM, 2004, pp:185-202 [Conf]
    
13. Ken Robinson
    Embedding Formal Development in Software Engineering. [Citation Graph (0, 0)][DBLP]
    TFM, 2004, pp:203-213 [Conf]
    
14. Dino Mandrioli
    Advertising Formal Methods and Organizing Their Teaching: Yes, but .... [Citation Graph (0, 0)][DBLP]
    TFM, 2004, pp:214-224 [Conf]
    
15. Baowen Xu, Yingzhou Zhang, Yanhui Li
    Retrospect and Prospect of Formal Methods Education in China. [Citation Graph (0, 0)][DBLP]
    TFM, 2004, pp:225-234 [Conf]
    
16. José Nuno Oliveira
    A Survey of Formal Methods Courses in European Higher Education. [Citation Graph (0, 0)][DBLP]
    TFM, 2004, pp:235-248 [Conf]