L. M. G. Feijs, H. B. M. Jonkers, Feijs L. M. G.

Formal Specification and Design

• Broschiertes Buch

Produktbeschreibung

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. The kernel language is explained in detail, with many examples. Fundamental and advanced methods are also presented. 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.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 352
• Erscheinungstermin: 23. September 2005
• Englisch
• Abmessung: 244mm x 170mm x 19mm
• Gewicht: 608g
• ISBN-13: 9780521435925
• ISBN-10: 0521435927
• Artikelnr.: 21764428

Inhaltsangabe

Part I. Algebraic Specification: 1. Introducing the basic concepts
2. Setting up algebraic specifications
3. Structuring algebraic specifications
4. Implementing algebraic specifications
Part II. State-Based Specification: 5. From algebras to states
6. Setting up state-based specification
7. Structuring state-based specification
8. Implementing state-based specification
Part III. Advanced Techniques: 9. Theoretical topics
10. Additional language constructs
11. Towards large systems
Bibliography
Appendices
Index.