Architecting Systems with Trustworthy Components

International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers

316 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

Invited Articles.- Audition of Web Services for Testing Conformance to Open Specified Protocols.- A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation.- Making Specifications Complete Through Models.- Bus Scheduling for TDL Components.- Refinement and Consistency in Component Models with Multiple Views.- Articles by Participants.- A Taxonomy on Component-Based Software Engineering Methods.- Unifying Hardware and Software Components for Embedded System Development.- On the Composition of Compositional Reasoning.- Trustworthy Instantiation of Frameworks.- Performance Prediction of Component-Based Systems.- Towards an Engineering Approach to Component Adaptation.- Compatible Component Upgrades Through Smart Component Swapping.- Exceptions in Component Interaction Protocols - Necessity.- Coalgebraic Semantics for Component Systems.- A Type Theoretic Framework for Formal Metamodelling.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung Software Engineering
• ISBN: 9783540358008
• Sprache: Englisch
• Erscheinungsdatum: 30.06.2006
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Clemens A. Szyperski, Ralf H. Reussner, Judith A. Stafford