Architecting Systems with Trustworthy Components  International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers /  [electronic resource] : 
edited by Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski. 
 - 1st ed. 2006. 
 - X, 299 p.  online resource. 
 - Theoretical Computer Science and General Issues,  3938  2512-2029 ; .
 - Theoretical Computer Science and General Issues,  3938 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783540358336 
<br/><br/><label>Standard No.: </label>10.1007/11786160  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.<br/>Computer networks .<br/>Computer programming.<br/>Operating systems (Computers).<br/>Compilers (Computer programs).<br/>Software Engineering.<br/>Computer Communication Networks.<br/>Programming Techniques.<br/>Operating Systems.<br/>Compilers and Interpreters.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1