CASL reference manual : the complete documentation of 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...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
2960 |
| Matèries: | |
| Accés en línia: | 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 reference manual, the complete documentation of the Common Algebraic Specification Language, Peter D. Mosses (Ed.), Berlin, Springer, 2004, 1 vol. (XVII-528 p.), Lecture notes in computer science, 3-540-21301-5 • CASL Reference Manual, Texte imprimé, 9783662181010 |
Taula de continguts:
- CASL Summary
- I. Casl Summary
- CASL Syntax
- II. Casl Syntax
- CASL Semantics
- III. Casl Semantics
- CASL Logic
- IV. Casl Logic
- CASL Libraries
- V. Casl Libraries.