Formal Specification and Design

L.M.G. Feijs, H.B.M. Jonkers - Collection Cambridge Tracts in Theoretical Computer Science

334 pages, parution le 24/03/2005

Ajouter à une liste

Indisponible

Résumé

Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants and black-box correctness are also presented. More advanced ideas, for example Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasised throughout, so the book will be an excellent choice for courses in these areas.

Suitable for industry as well as academia - both authors work for Philips

Sommaire

Part I. Algebraic Specification
- Introducing the basic concepts
- Setting up algebraic specifications
- Structuring algebraic specifications
- Implementing algebraic specifications
Part II. State-Based Specification
- From algebras to states
- Setting up state-based specification
- Structuring state-based specification
- Implementing state-based specification
Part III. Advanced Techniques
- Theoretical topics
- Additional language constructs
- Towards large systems
- Bibliography
- Appendices

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Cambridge University Press
Auteur(s)	L.M.G. Feijs, H.B.M. Jonkers
Collection	Cambridge Tracts in Theoretical Computer Science
Parution	24/03/2005
Nb. de pages	334
Format	17 x 24,5
Couverture	Broché
Poids	565g
Intérieur	Noir et Blanc
EAN13	9780521435925
ISBN13	978-0-521-43592-5