Book Volume 2900 2004

CASL User Manual

Introduction to Using the Common Algebraic Specification Language

Editors:

ISBN: 978-3-540-20766-5 (Print) 978-3-540-44397-1 (Online)

Table of contents (16 chapters)

  1. Front Matter

    Pages -

  2. Background

    1. Front Matter

      Pages 1-1

    2. No Access

      Chapter

      Pages 3-9

      1 Introduction

    3. No Access

      Chapter

      Pages 11-20

      2 Underlying Concepts

  3. Casl Specifications

    1. Front Matter

      Pages 21-21

    2. No Access

      Chapter

      Pages 23-45

      3 Getting Started

    3. No Access

      Chapter

      Pages 47-56

      4 Partial Functions

    4. No Access

      Chapter

      Pages 57-66

      5 Subsorting

    5. No Access

      Chapter

      Pages 67-75

      6 Structuring Specifications

    6. No Access

      Chapter

      Pages 77-92

      7 Generic Specifications

    7. No Access

      Chapter

      Pages 93-109

      8 Specifying the Architecture of Implementations

    8. No Access

      Chapter

      Pages 111-122

      9 Libraries

  4. Carrying On

    1. Front Matter

      Pages 123-123

    2. No Access

      Chapter

      Pages 125-129

      10 Foundations

    3. No Access

      Chapter

      Pages 131-142

      11 Tools

    4. No Access

      Chapter

      Pages 143-154

      12 Basic Libraries

    5. No Access

      Chapter

      Pages 155-190

      13 Case Study: The Steam-Boiler Control System

  5. Appendices

    1. Front Matter

      Pages 191-191

    2. No Access

      Chapter

      Pages 193-201

      A Casl Quick Reference

    3. No Access

      Chapter

      Pages 203-210

      B Points to Bear in Mind

    4. No Access

      Chapter

      Pages 211-219

      C The Steam-Boiler Control Specification Problem

  6. Back Matter

    Pages -