Foundations of component-based systems
Murali Sitaraman, Gary T. Leavens
312 pages, parution le 20/02/2000
Résumé
This collection of top-notch articles by well-known experts
brings together, for the first time, key elements of this
area that are fast becoming the focus of much current
research and practice in computing. About half the articles
deal with theoretical frameworks, models, and systems of
notation; the rest comprise case studies by architects of
prototype systems who present findings on architectures
verification. The emphasis is on advances in the
technological infrastructure of component-based systems;
how to design and specify reusable components; and how to
reason about, verify, and validate systems from components.
An introduction by Clemens Szyperski gives a snapshot of
current research in the field.
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
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
