Logics of Specification Languages

ISBN: 978-3-540-74106-0 (Print) 978-3-540-74107-7 (Online)

Table of contents (11 chapters)

  1. Front Matter

    Pages I-XXI

  2. Preludium

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-12

      An Overview

  3. The Languages

    1. Front Matter

      Pages 13-13

    2. No Access

      Book Chapter

      Pages 15-46

      Abstract State Machines for the Classroom

    3. No Access

      Book Chapter

      Pages 47-152

      The event-B Modelling Method: Concepts and Case Studies

    4. No Access

      Book Chapter

      Pages 153-240

      A Methodological Guide to the CafeOBJ Logic

    5. No Access

      Book Chapter

      Pages 241-298

      Casl — the Common Algebraic Specification Language

    6. No Access

      Book Chapter

      Pages 299-347

      Duration Calculus

    7. No Access

      Book Chapter

      Pages 349-399

      The Logic of the RAISE Specification Language

    8. No Access

      Book Chapter

      Pages 401-451

      The Specification Language TLA+

    9. No Access

      Book Chapter

      Pages 453-487

      The Typed Logic of Partial Functions and the Vienna Development Method

    10. No Access

      Book Chapter

      Pages 489-596

      Z Logic and Its Applications

  4. Postludium

    1. Front Matter

      Pages 597-597

    2. No Access

      Book Chapter

      Pages 599-623

      Reviews