Teaching Formal Methods形式方法教学/会议录

This book constitutes the refereed proceedings of the CoLogNet/FME Symposium on Teaching Formal Methods, TFM 2004, held in Ghent, Belgium in November 2004.
　　The 15 revised full papers presented together with an invited paper and 2 abstracts of invited talks were carefully reviewed and selected from numerous submissions. The papers presented explore the failures and successes of formal methods education, consider how the failures might be resolved, evaluate how to learn from the successes, and attempt promoting cooperative projects to further the teaching and learning and the usage and acceptance of formal methods

A Beginner's Course on Reasoning About Imperative Programs
Designing Algorithms in High School Mathematics
Motivating Study of Formal Methods in the Classroom
Formal Systems, Not Methods
A Practice-Oriented Course on the Principles of Computation,Programming, and System Design and Analysis
Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns
Specification-Driven Design with Eiffel andfor Teaching Lightweight Formal Methods
Agents
Integrating Formal Specification and Software Verification and Validation
Distributed Teaching of Formal Methods
An Undergraduate Course on Protocol Engineering
How to Teach Formal Methods Without Scaring Students
Linking Paradigms, Semi-formal and Formal Nntations
Teaching Formal Methods in Context
Embedding Formal Development in Software Engineering
Advertising Formal Methods and Organizing Their Teaching:
Yes, but
Retrospect and Prospect of Formal Methods Education in China
A Survey of Formal Methods Courses in European Higher Education
The FME Subgroup on Education (Convenor: J.N. Oliveira)
Author Index