CASL user manual : introduction to using the Common Algebraic Specification Language
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is alread...
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
2900 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • CASL user manual, introduction to using the Common Algebraic Specification Language, Michel Bidoit, Peter D. Mosses, Berlin, Springer, 2004, 1 vol. (XIII-240 p.), Lecture notes in computer science, 3-540-20766-X • CASL User Manual, Texte imprimé, 9783662206577 |
Sommario:
- Background
- 1 Introduction
- 2 Underlying Concepts
- Casl Specifications
- 3 Getting Started
- 4 Partial Functions
- 5 Subsorting
- 6 Structuring Specifications
- 7 Generic Specifications
- 8 Specifying the Architecture of Implementations
- 9 Libraries
- Carrying On
- 10 Foundations
- 11 Tools
- 12 Basic Libraries
- 13 Case Study: The Steam-Boiler Control System
- Appendices
- A Casl Quick Reference
- B Points to Bear in Mind
- C The Steam-Boiler Control Specification Problem.