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