Foundations of component-based systems
Murali Sitaraman, Gary T. Leavens
Résumé
Table of contents
- Introduction: Components and the Way Ahead
Part I: Frameworks and Architectures- Key Concepts in Architecture Definition Languages
- Acme: Architectural Description of Component-Based Systems
- A Formal Language For Composition
- A Semantic Foundation For Specification Matching
Part II: Object-Based Specification and Verification- Concepts of Behavioral Subtyping and a Sketch of their Extension to Component-Based Systems
- Modular Specification and Verification Techniques for OO Components
- Respectful Type Converters for Mutable Types
Part III: Formal Models and Semantics- A Formal Model For Componentware
- Toward a Normative Theory for Component-Based System Design and Analysis
- An Implementation-Oriented Semantics for Module Composition
Part IV: Reactive and Distributed Systems- Composition of Reactive System Components
- Using I/O Automata for Developing Distributed Systems
Caractéristiques techniques
PAPIER | |
Éditeur(s) | Cambridge University Press |
Auteur(s) | Murali Sitaraman, Gary T. Leavens |
Parution | 20/02/2000 |
Nb. de pages | 312 |
Format | 18,5 x 26 |
Couverture | Relié |
Poids | 702g |
EAN13 | 9780521771641 |
Avantages Eyrolles.com
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