Limit search to available items
Book Cover
E-book

Title Architecting systems with trustworthy components : international seminar, Dagstuhl Castle, Germany, December 12-17, 2004 : revised selected papers / Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski (eds.)
Published Berlin ; New York : Springer, [2006]
©2006
Online access available from:
Springer eBooks    View Resource Record  

Copies

Description 1 online resource (x, 298 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 3938
Lecture notes in computer science ; 3938. 0302-9743
Contents 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
Summary 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 impovement 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
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Component software -- Reliability -- Congresses.
Software architecture -- Reliability -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Reussner, Ralf.
Stafford, Judith A. (Judith Alyce)
Szyperski, Clemens.
LC no. 2006905119
ISBN 9783540358336
3540358331
3540358005
9783540358008