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.
Les mer
Constitutes the refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems with Trustworthy Components, held in Dagstuhl Castle, Germany, in December 2004. This book discusses core problems in measurement and normalization of non-functional properties, modular reasoning over non-functional properties, and more.
Les mer
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.
Les mer
GPSR Compliance
The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this.
If you have any concerns about our products you can contact us on ProductSafety@springernature.com.
In case Publisher is established outside the EU, the EU authorized representative is:
Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg, Germany
ProductSafety@springernature.com
Les mer
Produktdetaljer
ISBN
9783540358008
Publisert
2006-06-30
Utgiver
Vendor
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, P, 06
Språk
Product language
Engelsk
Format
Product format
Heftet