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