CASL Reference Manual

Publisher : Springer

ISBN-13 : 3540246487

Page : 534 pages

Rating : 4.5/5 from 487 voters

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.

More Books:

CASL Reference Manual
Language: en
Pages: 534
Authors: Peter D. Mosses
Categories: Computers
Type: BOOK - Published: 2004-02-24 - Publisher: Springer

CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and developm
Challenges of Human Space Exploration
Language: en
Pages: 259
Authors: Marsha Freeman
Categories: Science
Type: BOOK - Published: 2000-06-14 - Publisher: Springer Science & Business Media

This well illustrated, non-technical book focuses on astronauts' descriptions of the human aspects of space exploration, and their attempts to solve both mechan
Recent trends in algebraic development techniques
Language: en
Pages: 476
Authors: Didier Bert
Categories: Computers
Type: BOOK - Published: 2000-09-06 - Publisher: Springer Science & Business Media

This book constitutes the thoroughly refereed post-workshop proceedings of the 14th International Workshop on Algebraic Development Techniques, WADT'99, held in
Agile Processes in Software Engineering and Extreme Programming
Language: en
Pages: 306
Authors: Hubert Baumeister
Categories: Computers
Type: BOOK - Published: 2017-04-12 - Publisher: Springer

This book is open access under a CC BY license. The volume constitutes the proceedings of the 18th International Conference on Agile Software Development, XP 20
Domain-Specific Model-Driven Testing
Language: en
Pages: 260
Authors: Stefan Bärisch
Categories: Computers
Type: BOOK - Published: 2010-04-03 - Publisher: Springer Science & Business Media

Stefan Baerisch applies a combination of feature modelling and code generation, for which he uses a model-driven approach, in order to facilitate the design of
Extreme Programming and Agile Processes in Software Engineering
Language: en
Pages: 338
Authors: Hubert Baumeister
Categories: Computers
Type: BOOK - Published: 2005-05-24 - Publisher: Springer

Extreme Programming has come a long way since its ?rst use in the C3 project almost 10 years ago. Agile methods have found their way into the mainstream, and at
Agile Processes in Software Engineering and Extreme Programming
Language: en
Pages: 253
Authors: Hubert Baumeister
Categories: Computers
Type: BOOK - Published: 2013-06-04 - Publisher: Springer

This book contains the refereed proceedings of the 14th International Conference on Agile Software Development, XP 2013, held in Vienna, Austria, in June 2013.
Extreme Programming and Agile Processes in Software Engineering
Language: en
Pages: 364
Authors: Jutta Eckstein
Categories: Computers
Type: BOOK - Published: 2004-05-14 - Publisher: Springer

Software development is being revolutionized. The heavy-weight processes of the 1980s and 1990s are being replaced by light-weight, so called agile processes. A
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
Language: en
Pages: 253
Authors: Italy) Gc 200 (2003 Rovereto
Categories: Computers
Type: BOOK - Published: 2003-11-24 - Publisher: Springer Science & Business Media

This book constitutes the revised refereed summary of the results presented during the European IST/FET proactive initiative's Global Computing workshop, GC 200
Algebraic Foundations of Systems Specification
Language: en
Pages: 616
Authors: Egidio Astesiano
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification. The contributions cover and su