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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Reussner, Ralf H. (Επιμελητής έκδοσης), Stafford, Judith A. (Επιμελητής έκδοσης), Szyperski, Clemens A. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
• Σειρά: Lecture Notes in Computer Science, 3938
• Θέματα: 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.

Πίνακας περιεχομένων:

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