TY  - BOOK
AU  - Reussner,Ralf
AU  - Stafford,Judith A.
AU  - Szyperski,Clemens
TI  - Architecting systems with trustworthy components: international seminar, Dagstuhl Castle, Germany, December 12-17, 2004 : revised selected papers 
T2  - Lecture notes in computer science,
SN  - 9783540358336
AV  - QA76.76.C66 A73 2006eb
U1  - 005.1 22
PY  - 2006///
CY  - Berlin, New York
PB  - Springer
KW  - Component software
KW  - Reliability
KW  - Congresses
KW  - Software architecture
KW  - Architecture logicielle
KW  - Fiabilité
KW  - Congrès
KW  - Composants logiciels
KW  - COMPUTERS
KW  - Programming
KW  - Open Source
KW  - bisacsh
KW  - Software Development & Engineering
KW  - Tools
KW  - General
KW  - cct
KW  - Informatique
KW  - eclas
KW  - programmeren
KW  - programming
KW  - computerwetenschappen
KW  - computer sciences
KW  - computernetwerken
KW  - computer networks
KW  - operating systems
KW  - programmeertalen
KW  - programming languages
KW  - software engineering
KW  - Information and Communication Technology (General)
KW  - Informatie- en communicatietechnologie (algemeen)
KW  - Congress
KW  - Conference papers and proceedings
KW  - fast
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - Includes bibliographical references and index; 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; University staff and students only. Requires University Computer Account login off-campus
N2  - 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. The 10 revised full papers presented together with 5 invited papers contributed by outstanding researchers were carefully selected and included in the book reflecting ongoing improvement from the seminar. Core problems addressed by the seminar are 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, duality of componentization and architecture, system properties, and opportunities for correctness by construction/static checking
UR  - https://link.springer.com/10.1007/11786160
ER  -