Logics of Specification Languages
- Author
- Dines Bjørner, Martin C. Henson
- Publication Year
- 2008
- Publisher
- Springer
- Language
- English
- Document Type
- Book
- Faculty / Subject Heading
- Computer Science
- Download Book Read book
Dedicated chapters address : the use of ASM (Abstract State Machines) in the classroom; the Event-B modelling method; a methodological guide to CafeOBJ logic; CASL, the Common Algebraic Specification Language; the Duration Calculus; the logic of the RAISE specification language (RSL); the specification language TLA+; the typed logic of partial functions and the Vienna Development Method (VDM); and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.
Keywords: Computer science / ASM (Abstract State Machines) / Bjørner / CaSL (Common Algebraic Specification Language) / CafeOBJ / Duration Calculus / Event-B and B specification language / Formal methods / Formal specification languages / Logic / Programming techniques / Proof rules / RSL (RAIS)
