具體描述
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
著者簡介
圖書目錄
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
· · · · · · (收起)
讀後感
評分
評分
評分
評分
用戶評價
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有