Foundation Component-Based System
Herausgeber: Leavens, Gary T.; Sitaraman, Murali
Introduction: component software - a snapshot and future directions Clemens
Szyperski; Part I. Frameworks and Architectures: 1. Key concepts in
architecture definition languages David C. Luckham, James Vera and Sigurd
Meldal; 2. Acme: a basis for architectural integration David Garlan, Robert
Monroe and David Wile; 3. An extensible language for composition Markus
Lumpe, Franz Achermann and Oscar Nierstrasz; 4. A framework for a formal
and automated approach to component-based reuse Betty H. C. Cheng and
Yonghao Chen; Part II. Object-Based Specification and Verification: 5.
Behavioral subtyping Gary T. Leavens and Krishna Kishore Dhara; 6. Modular
specification and verification techniques for object-oriented software
components Peter Mueller and Arnd Poetzsch-Heffter; 7. Respectful type
converters for objects Jeannette M. Wing and John Ockerbloom; Part III.
Formal Models and Semantics: 8. A formal model of componentware Klaus
Bergner, Manfred Broy, Andreas Rausch, Marc Sihling and Alexander Vilbig;
9. General semantic spaces for specifications and templates David S.
Gibson, Bruce W. Weide, Steven H. Edwards and Scott Pike; 10. An
implementation-oriented semantics for module composition Joseph Goguen and
Will Tracz; Part IV. Reactive and Distributed Systems: 11. Composition of
reactive system components K. Lano, J. Bicarregui, T. Maibaum and J.
Fiadeiro; 12. The IOA language and toolset: support for mathematics-based
distributed programming Stephen J. Garland and Nancy A. Lynch.
