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.
PAYBACK Punkte
20 °P sammeln!
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...
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.
Andere Kunden interessierten sich für
