Bücher online kaufen
|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Teaching Formal Methods
Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Langbeschreibung
This book constitutes the refereed proceedings of the TFM 2009, held in Eindhoven, The Netherlands in November 2009.
Inhaltsverzeichnis
Abstraction and Modelling: A Complementary Partnership.- Teaching Formal Methods for the Unconquered Territory.- Teaching Formal Methods Based on Rewriting Logic and Maude.- Which Mathematics for the Information Society?.- What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project.- Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z.- Teaching Program Specification and Verification Using JML and ESC/Java2.- How to Explain Mistakes.- Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification.- On Teaching Formal Methods: Behavior Models and Code Analysis.- Teaching Concurrency: Theory in Practice.
ISBN-13:
9783642049125
Veröffentl:
2009
Seiten:
177
Autor:
Jeremy Gibbons
Serie:
5846, Lecture Notes in Computer Science Theoretical Computer Science and General Issues
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
1 - PDF Watermark
Sprache:
Englisch
53,49 €*
Lieferzeit: Sofort lieferbar
Alle Preise inkl. MwSt.