Logics of Specification Languages

Part I. Preludium

1. An Overview
Dines Bjørner, Martin C. Henson

Part II. The Languages

2. Abstract State Machines for the Classroom
Wolfgang Reisig

3. The event-B Modelling Method: Concepts and Case Studies
Dominique Cansell, Dominique Méry

4. A Methodological Guide to the CafeOBJ Logic
Razvan Diaconescu

5. Casl — the Common Algebraic Specification Language
Till Mossakowski, Anne E. Haxthausen, Donald Sannella, Andrezj Tarlecki

6. Duration Calculus
Michael R. Hansen

7. The Logic of the RAISE Specification Language
Chris George, Anne E. Haxthausen

8. The Specification Language TLA+
Stephan Merz

9. The Typed Logic of Partial Functions and the Vienna Development Method
John S. Fitzgerald

10. Z Logic and Its Applications
Martin C. Henson, Moshe Deutsch, Steve Reeves

Part III. Postludium

11. Reviews
Dines Bjørner, Martin Henson

DRM-restrictions

Printing: not available
Clipboard copying: not available

Avainsanat: COMPUTERS / Computer Science COM014000