Refinement in z and object-z
Foundations and advanced applications
470 pages, parution le 15/07/2001
Résumé
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.
- 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.
Contents
Preface
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
- Refinement, Observation and Modification
- IO Refinement
- Weak Refinement
- Non-Atomic Refinement
- Case Study - A Digital and Analog Watch
- Further Generalisations
- An Introduction to Object-Z
- Refinement in Object-Z
- Class Refinement
- Combining CSP and Object-Z
- Refining CSP and Object-Z Specifications
- Conclusions
Glossary
Bibliography
Index
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Springer |
| Auteur(s) | John Derrick, Eerke Boiten |
| Parution | 15/07/2001 |
| Nb. de pages | 470 |
| Format | 15,5 x 23,5 |
| Couverture | Broché |
| Poids | 735g |
| Intérieur | Noir et Blanc |
| EAN13 | 9781852332457 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
