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

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