Logics of Specification Languages

• Corporate Author: SpringerLink (Online service)
• Other Authors: Bjørner, Dines (Editor), Henson, Martin C. (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Series: Monographs in Theoretical Computer Science, An EATCS Series,
• Subjects: Computer science.; Software engineering.; Computers.; Computer logic.; Mathematical logic.; Computer Science.; Mathematical Logic and Formal Languages.; Software Engineering.; Logics and Meanings of Programs.; Theory of Computation.

By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done within the...

Table of Contents:

• Preludium
• An Overview
• The Languages
• Abstract State Machines for the Classroom
• The event-B Modelling Method: Concepts and Case Studies
• A Methodological Guide to the CafeOBJ Logic
• Casl — the Common Algebraic Specification Language
• Duration Calculus
• The Logic of the RAISE Specification Language
• The Specification Language TLA+
• The Typed Logic of Partial Functions and the Vienna Development Method
• Z Logic and Its Applications
• Postludium
• Reviews.