Logics of Specification Languages
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.
الكلمات المفتاحية: 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)
