CASL Reference Manual

The Complete Documentation of the Common Algebraic Specification Language

Peter D. Mosses - Collection Lecture Notes in Computer Science

530 pages, parution le 03/05/2004

Ajouter à une liste

Indisponible

Résumé

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.

Written for:
Researchers and professionals

Sommaire

Part I CASL Summary
- Introduction
- Basic Specifications
- Subsorting Specifications
- Structuring Specifications
- Architectural Specifications
- Specification Libraries
- Sublanguages and Extensions
Part II CASL Syntax
- Introduction
- Abstract Syntax
- ConcreteSyntax
- LexicalSymbols
- Comments and Annotations
Part III CASL Semantics
- Introduction
- Basic Specification Semantics
- Subsorting Specification Semantics
- Structured Specification Semantics
- Architectural Specification Semantics
- Specification Library Semantics
Part IV CASL Logic
- Introduction
- Basic Specification Calculus
- Subsorting Specification Calculus
- Structured Specification Calculus
- Architectural Specification Calculus
- Specification Library Calculus
Part V CASL Libraries
- Introduction
- Library Basic/Numbers
- Library Basic/RelationsAndOrders
- Library Basic/Algebra_I
- Library Basic/SimpleDatatypes
- Library Basic/StructuredDatatypes
- Library Basic/Graphs
- Library Basic/Algebra_II
- Library Basic/LinearAlgebra_I
- Library Basic/LinearAlgebra_II
- Library Basic/MachineNumbers
- Dependency Graphs of the Libraries
- Appendices

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Springer
Auteur(s)	Peter D. Mosses
Collection	Lecture Notes in Computer Science
Parution	03/05/2004
Nb. de pages	530
Format	15,5 x 23,5
Couverture	Broché
Poids	820g
Intérieur	Noir et Blanc
EAN13	9783540213017