Teaching Formal Methods

CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings

Häftad, Engelska, 2004

699 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2004-11-17
Mått152 x 229 x 15 mm
Vikt406 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor252
Upplaga2004
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540236115

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Material och digital teknik i undervisningen inom Psykologi och pedagogik
Programvaruutveckling inom Data och it
Databaser inom Data och it

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 and Agents for Teaching Lightweight Formal Methods.- 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 Notations.- 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.