Ralf H. Reussner / Judith A. Stafford / Clemens A. Szyperski (eds.)

Architecting Systems with Trustworthy Components

International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
Herausgegeben:Reussner, Ralf H.; Stafford, Judith A.; Szyperski, Clemens A.

• Broschiertes Buch

Produktbeschreibung

This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems with Trustworthy Components, held in Dagstuhl Castle, Germany, in December 2004. Presents 10 revised full papers together with 5 invited papers contributed by outstanding researchers. Discusses core problems in measurement and normalization of non-functional properties, modular reasoning over non-functional properties, capture of component requirements in interfaces and protocols, interference and synergy of top-down and bottom-up aspects, and more.

Produktdetails

• Theoretical Computer Science and General Issues 3938
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 11786160, 978-3-540-35800-8
• 2006
• Seitenzahl: 316
• Erscheinungstermin: 30. Juni 2006
• Englisch
• Abmessung: 235mm x 155mm x 18mm
• Gewicht: 445g
• ISBN-13: 9783540358008
• ISBN-10: 3540358005
• Artikelnr.: 20946934

Inhaltsangabe

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.