Springer
CD-ROM OverviewTable of ContentsSearch
LNCS 2900 Space Michel Bidoit and Peter D. Mosses:

CASL User Manual

Introduction to Using the Common Algebraic Specification Language
With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki
 
LNCS 2900
 
Ordering Information

 

Table of Contents

Title pages in PDF
Preface in PDF
Table of Contents in PDF

Part I Background

1  Introduction
Michel Bidoit and Peter D. Mosses
LNCS 2900, pp. 3 - 9
Abstract | Full article in PDF

2  Underlying Concepts
Michel Bidoit and Peter D. Mosses
LNCS 2900, pp. 11 - 20
Abstract | Full article in PDF

Part II CASL Specifications

3  Getting Started
Michel Bidoit and Peter D. Mosses
LNCS 2900, pp. 23 - 45
Abstract | Full article in PDF

4  Partial Functions
Michel Bidoit and Peter D. Mosses
LNCS 2900, pp. 47 - 56
Abstract | Full article in PDF

5  Subsorting
Michel Bidoit and Peter D. Mosses
LNCS 2900, pp. 57 - 66
Abstract | Full article in PDF

6  Structuring Specifications
Michel Bidoit and Peter D. Mosses
LNCS 2900, pp. 67 - 75
Abstract | Full article in PDF

7  Generic Specifications
Michel Bidoit and Peter D. Mosses
LNCS 2900, pp. 77 - 92
Abstract | Full article in PDF

8  Specifying the Architecture of Implementations
Michel Bidoit and Peter D. Mosses
LNCS 2900, pp. 93 - 109
Abstract | Full article in PDF

9  Libraries
Michel Bidoit and Peter D. Mosses
LNCS 2900, pp. 111 - 122
Abstract | Full article in PDF

Part III Carrying On

10  Foundations
Donald Sannella and Andrzej Tarlecki
LNCS 2900, pp. 125 - 129
Abstract | Full article in PDF

11  Tools
Till Mossakowski
LNCS 2900, pp. 131 - 142
Abstract | Full article in PDF

12  Basic Libraries
Till Mossakowski
LNCS 2900, pp. 143 - 154
Abstract | Full article in PDF

13  Case Study: The Steam-Boiler Control System
Michel Bidoit and Peter D. Mosses
LNCS 2900, pp. 155 - 190
Abstract | Full article in PDF

Appendices

A  CASL Quick Reference
Michel Bidoit and Peter D. Mosses
LNCS 2900, pp. 193 - 201
Abstract | Full article in PDF

B  Points to Bear in Mind
Michel Bidoit and Peter D. Mosses
LNCS 2900, pp. 203 - 210
Abstract | Full article in PDF

C  The Steam-Boiler Control Specification Problem
Michel Bidoit and Peter D. Mosses
LNCS 2900, pp. 211 - 219
Abstract | Full article in PDF

References
LNCS 2900, pp. 221 - 223
References in PDF

List of Named Specifications
LNCS 2900, pp. 225 - 229
List of Named Specifications in PDF

Index of Library and Specification Names
LNCS 2900, pp. 231 - 233
Index of Library and Specification Names in PDF

Concept Index
LNCS 2900, pp. 235 - 240
Concept Index in PDF


lncs@springer.de
© Springer-Verlag Berlin Heidelberg 2004