![]() |
| ||
10 FoundationsDonald Sannella and Andrzej Tarlecki Abstract. A complete presentation of CASL is in the Reference Manual. This User Manual has introduced the potential user to the features of CASL mainly by means of illustrative examples. It has presented and discussed the typical ways in which the language concepts and constructs are expected to be used in the course of building system specifications. Thus, the presentation in Part II focused on what the constructs and concepts of CASL are for, and how they should (and should not) be used. We tried to make these points as clear as possible by referring to simple examples, and by discussing both the general ideas and some details of CASL specifications. We hope that this has given the reader a sufficient feel of the formalism, and enough understanding, to look through the presentation of a basic library of CASL specifications in Chap. 12, to follow the case study in Chap. 13, and to start experimenting with the use of CASL for writing specifications - perhaps employing the support tools presented in Chap. 11. By no means, however, should this book be regarded as a complete presentation of the CASL specification formalism - this is given in the accompanying volume, the CASL Reference Manual [20]. LNCS 2900, pp. 125 - 129 lncs@springer.de
|