CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language (Lecture Notes in Computer Science)

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.

http://mihd.net/9hztys

http://rapidshare.com/files/72600812/CASL.pdf

Disclaimer:
Contents of this page are indexed from the Internet. 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 (Lecture Notes in Computer Science)" 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 : 1433
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
5. Ada 2005 Rationale: The Language, The Standard Libraries (Lecture Notes in Computer Science)
6. The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science)
7. Model Generation for Natural Language Interpretation and Analysis (Lecture Notes in Computer Science
8. Computer Science in Perspective: Essays Dedicated to Thomas Ottmann (Lecture Notes in Computer Science)
9. The Use of Projective Geometry in Computer Graphics (Lecture Notes in Computer Science, Vol 564)
10. Transactions on Computational Science I (Lecture Notes in Computer Science)
11. Transactions on Computational Science I (Lecture Notes in Computer Science)
12. Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings (Lecture Notes in Computer Science)
13. CONLAN Report (Lecture Notes in Computer Science)
14. Natural Language Processing and Information Systems: 9th International Conference on Applications of Natural Languages to Information Systems, NLDB 2004, ... (Lecture Notes in Computer Science)
15. Architecting Dependable Systems (Lecture Notes in Computer Science)
16. Online Algorithms: The State of the Art (Lecture Notes in Computer Science)