Skip to main content

10 Foundations

  • Chapter
  • 197 Accesses

Part of the Lecture Notes in Computer Science book series (LNCS,volume 2900)

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

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-540-44397-1_10
  • Chapter length: 5 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   74.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-44397-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   99.00
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Sannella, D., Tarlecki, A. (2004). 10 Foundations. In: Bidoit, M., Mosses, P.D. (eds) CASL User Manual. Lecture Notes in Computer Science, vol 2900. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44397-1_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-44397-1_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20766-5

  • Online ISBN: 978-3-540-44397-1

  • eBook Packages: Springer Book Archive