Articoli correlati a Formal Specification and Design

9780521435925: Formal Specification and Design
Brossura
ISBN 10: 0521435927 ISBN 13: 9780521435925
Casa editrice: Cambridge University Press, 2008

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Cambridge University Press
Data di pubblicazione
2008
Lingua
Inglese
ISBN 10 
0521435927
ISBN 13 
9780521435925
Rilegatura
Copertina flessibile
Numero edizione
1
Numero di pagine
352
Contatto del produttore
non disponibile
Persona responsabile
gpsr@libri.de
gpsr@libri.de

Friedensallee 273
Hamburg
22763
Germania