Logics of Specification Languages

Book Overview

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.

• Format: Paperback
• Language: English
• ISBN: 3642093450
• ISBN13: 9783642093456
• Release Date: November 2010
• Publisher: Springer
• Length: 624 Pages
• Weight: 1.98 lbs.
• Dimensions: 1.3" x 6.1" x 9.2"