Refinement in Z and Object-Z: Foundations and Advanced Applications
106.10 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10505284
Beschreibung
Preface.- Part I - Refining Z Specifications .- An Introduction to Z.- Simple Refinement.- Data Refinement and Simulations.- Refinement in Z.- Calculating Refinements.- Promotion.- Testing and Refinement.- A Single Simulation Rule.- Part II - Interfaces and Operations: ADTs Viewed in an Environment .- Refinement, Observation and Modification.- IO Refinement.- Weak Refinement.- Non-Atomic Refinement.- Case Study: A Digital and Analogue Watch.- Further Generalisations.- Part III - Object-Oriented Refinement .- An Introduction to Object Z.- Refinement in Object-Z.- Class Refinement.- Part IV - Modelling State and Behaviour .- Combining CSP and Object-Z.- Refining CSP and Object-Z Specifications.- Conclusions.- Glossary of Notation.- Index.
Eigenschaften
Breite: | 155 |
Gewicht: | 777 g |
Höhe: | 234 |
Länge: | 28 |
Seiten: | 492 |
Sprachen: | Englisch |
Autor: | Eerke A. Boiten, John Derrick |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen