Bjørner, Dines
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.
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
Keywords: COMPUTERS / Computer Science COM014000
- Author(s)
- Bjørner, Dines
- Henson, Martin C.
- Publisher
- Springer
- Publication year
- 2008
- Language
- en
- Edition
- 1
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9783540741077