Logics of Specification Languages

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Bjørner, Dines (Επιμελητής έκδοσης), Henson, Martin C. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Σειρά: Monographs in Theoretical Computer Science, An EATCS Series,
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.