Modular Specification and Verification of Object-Oriented Programs
292 pages, parution le 27/02/2002
Résumé
This book presents new techniques for the formal
specification and verification of object-oriented software.
Since modularity is of critical importance for reuse and
component-based programming, special emphasis is given to
the completeness of the presented specification techniques
to allow module verification based on the specification of
the imported modules. A formal framework developed for a
Java subset illustrates these new techniques.
Contents
- Introduction
- Mojave and Universe Type System
- The Semantic of Mojave
- Modular Specification and Verification of Functional Behavior
- Modular Specification and Verification of Frame Properties
- Modular Specification and Verification of Type Invariants
- Conclusion
- Formal Background and Notations
- Predefined Type and Notations
- Examples
- Auxiliary Lemmas, Proofs, and Models
- Bibliography
- List of Figures
- Index
L'auteur - Peter Müller
Peter Müller est ingénieur informaticien et a été un collaborateur scientifique de l'Institut Max-Planck d'informatique. Il est aujourd'hui consultant dans le domaine des technologies de l'information.
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Springer |
| Auteur(s) | Peter Müller |
| Parution | 27/02/2002 |
| Nb. de pages | 292 |
| Format | 15,5 x 23,5 |
| Couverture | Broché |
| Poids | 475g |
| Intérieur | Noir et Blanc |
| EAN13 | 9783540431671 |
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
- Informatique Développement d'applications Technologies objet Programmation objet
- Informatique Développement d'applications Langages C #
- Informatique Développement d'applications Langages C++
- Informatique Développement d'applications Langages Eiffel
- Informatique Développement d'applications Langages Java - J2EE
- Informatique Développement d'applications Langages Objective-C
- Informatique Développement d'applications Langages Ada
- Informatique Développement d'applications Langages Python
- Informatique Développement d'applications Langages Ruby
- Informatique Développement d'applications Langages Smalltalk
