Outcome of a Dagstuhl Seminar: Architecting Systems with Trustworthy Components 2004

Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski (Eds.): Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers. Lecture Notes in Computer Science 3938 Springer 2006, ISBN 3-540-35800-5

Invited Articles

Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans:
Audition of Web Services for Testing Conformance to Open Specified Protocols. 1-25
Manfred Broy:
A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation. 26-47
Bernd Schoeller, Tobias Widmer, Bertrand Meyer:
Making Specifications Complete Through Models. 48-70
Emilia Farcas, Wolfgang Pree, Josef Templ:
Bus Scheduling for TDL Components. 71-83
Heike Wehrheim:
Refinement and Consistency in Component Models with Multiple Views. 84-102

Christian Bunse, Felix C. Freiling, Nicole Lévy:
A Taxonomy on Component-Based Software Engineering Methods. 103-119
Christian Bunse, Hans-Gerhard Groß:
Unifying Hardware and Software Components for Embedded System Development. 120-136
Felix C. Freiling, Thomas Santen:
On the Composition of Compositional Reasoning. 137-151
Uwe Aßmann, Andreas Bartho, Falk Hartmann, Ilie Savga, Barbara Wittek:
Trustworthy Instantiation of Frameworks. 152-168
Steffen Becker, Lars Grunske, Raffaela Mirandola, Sven Overhage:
Performance Prediction of Component-Based Systems - A Survey from an Engineering Perspective. 169-192
Steffen Becker, Antonio Brogi, Ian Gorton, Sven Overhage, Alexander Romanovsky, Massimo Tivoli:
Towards an Engineering Approach to Component Adaptation. 193-215
Alexander Stuckenholz, Olaf Zwintzscher:
Compatible Component Upgrades Through Smart Component Swapping. 216-226
Frantisek Plasil, Viliam Holub:
Exceptions in Component Interaction Protocols - Necessity. 227-244
Sabine Glesner, Jan Olaf Blech:
Coalgebraic Semantics for Component Systems. 245-261
Iman Poernomo:
A Type Theoretic Framework for Formal Metamodelling. 262-298

Last update Sat May 25 02:41:31 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page