CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language

Description

Book Description:

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 already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks.

This reference manual presents a detailed documentation of the CASL specification formalism. It reviews the main underlying concepts, and carefully summarizes the intended meaning of each construct of CASL. The book formally defines both the syntax and semantics of CASL, and presents a logic for reasoning about CASL specifications. Furthermore, extensive libraries of CASL specifications of basic data types are provided as well as a comprehensive annotated bibliography of CoFI publications.

As a separate, complementary book LNCS 2900 presents a tutorial introduction to CASL, the CASL User Manual.

Disclaimer:
Contents of this page are indexed from this page for search purpose only. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 1457
2. CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language
3. CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language
4. CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language (Lecture Notes in Computer Science)
5. Semantics and Algebraic Specification
6. PostScript(R) Language Reference Manual (2nd Edition)
7. The Unified Modeling Language Reference Manual
8. PostScript(R) Language Reference Manual (2nd Edition)
9. PostScript Language Reference Manual (2nd Edition)
10. PostScript(R) Language Reference Manual (2nd Edition)
11. Unified Modeling Language Reference Manual, The (2nd Edition)
12. Unified Modeling Language Reference Manual, The (2nd Edition)
13. [share_ebook] Verilog Hardware Description Language Reference Manual LRM
14. The complete BASIC programming language manual for PIC microcontrollers by Neboj
15. Hibernate Reference Documentation
16. The Java Language Specification 3rd ed.