Formal Specification and Design - Rilegato

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

Rilegato

ISBN 10: 0521434572 ISBN 13: 9780521434577

Casa editrice: Cambridge University Press, 1992

Riassunto

The authors describe specification techniques from the unified view of the Common Object-oriented Language for Design.

Su questo libro

Descrizione del libro

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. Software development and design are emphasised throughout, so the book will be an excellent choice for courses in these areas.

Contenuti

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.

Dettagli dell'edizione

• Editore: Cambridge University Press
• Data di pubblicazione: 1992
• Lingua: Inglese
• ISBN 10: 0521434572
• ISBN 13: 9780521434577
• Rilegatura: Copertina rigida
• Numero di pagine: 351
• Contatto del produttore: non disponibile
• Persona responsabile: Avery; https://www.avery.fr/; ; chemin des peupliers 27; Dardilly; Francia