Refinement in Z and Object-Z: Foundations and Advanced Applications - Brossura

Derrick, John; Boiten, Eerke

 
9781852332457: Refinement in Z and Object-Z: Foundations and Advanced Applications
Brossura
ISBN 10: 185233245X ISBN 13: 9781852332457
Casa editrice: Springer-Verlag New York Inc, 2009

Sinossi

Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes:- data refinement and its application to Z;- generalisations of refinement that change the interface and atomicity of operations;- refinement in Object-Z;- and modelling state and behaviour by combining Object-Z with CSP.Refinement in Z and Object-Z: Foundations and Advanced Applications provides an invaluable overview of recent research for academic and industrial researchers, lecturers teaching formal specification and development, industrial practitioners using formal methods in their work, and postgraduate and advanced undergraduate students.

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

Contenuti

Preface I: Refining Z Specifications: 1. An Introduction to Z 2. Simple Refinement 3. Data Refinement and Simulations 4. Refinement in Z 5. Calculating Refinements 6. Promotion 7. Testing and Refinement 8. A Single Simulation Rule II. Interfaces and Operations - ADTs Viewed in an Environment: 9. Refinement, Observation and Modification 10. IO Refinement 11. Weak Refinement 12. Non-Atomic Refinement 13. Case Study - A Digital and Analog Watch 14. Further Generalisations III. Object-Oriented Refinement 15. An Introduction to Object-Z 16. Refinement in Object-Z 17. Class Refinement IV. Modelling State and Behaviour 18. Combining CSP and Object-Z 19. Refining CSP and Object-Z Specifications 20. Conclusions Glossary.- Bibliography.- Index.

Product Description

Book by Derrick John Boiten Eerke A

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

Editore
Springer-Verlag New York Inc
Data di pubblicazione
2009
Lingua
Inglese
ISBN 10 
185233245X
ISBN 13 
9781852332457
Rilegatura
Copertina flessibile
Numero di pagine
466
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9781447102588: Refinement in Z and Object-Z: Foundations and Advanced Applications

Edizione in evidenza

ISBN 10:  1447102584 ISBN 13:  9781447102588
Casa editrice: Springer, 2012
Brossura