Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Reussner, Ralf H. (Editor), Stafford, Judith A. (Editor), Szyperski, Clemens A. (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
• Series: Lecture Notes in Computer Science, 3938
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Computer Communication Networks.; Programming Techniques.; Operating Systems.; Programming Languages, Compilers, Interpreters.

Table of Contents:

• 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.