Foundations of Component-Based Systems

Klappentext Articles! originally published in 2000! by experts including theoretical frameworks and models plus case studies and findings. Zusammenfassung This 2000 collection of articles by well-known experts moves from theoretical frameworks! models! and systems of notation to case studies by researchers. The emphasis is on advances in the technological infrastructure of component-based systems! how to design and specify reusable components! and how to verify and validate systems from components. Inhaltsverzeichnis 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....

Product details

• Authors: Gary Sitaraman Leavens, Gary T. Leavens, Gary T. (Iowa State University) Sitaraman Leavens, Gary T. Sitaraman Leavens, Murali Sitaraman
• Assisted by: Gary T. Leavens (Editor), Gary T. (Iowa State University) Leavens (Editor), Leavens Gary T. (Editor), Murali Sitaraman (Editor), Murali (West Virginia University) Sitaraman (Editor), Sitaraman Murali (Editor)
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Hardback
• Released: 28.03.2000
• EAN: 9780521771641
• ISBN: 978-0-521-77164-1
• No. of pages: 322
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > Programming languages; Software Engineering, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Object Oriented, Object-oriented programming (OOP)