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 BibTeX
Invited Articles
Articles by Participants
- Christian Bunse, Felix C. Freiling, Nicole Lévy:
A Taxonomy on Component-Based Software Engineering Methods.
103-119
Electronic Edition (link) BibTeX
- Christian Bunse, Hans-Gerhard Groß:
Unifying Hardware and Software Components for Embedded System Development.
120-136
Electronic Edition (link) BibTeX
- Felix C. Freiling, Thomas Santen:
On the Composition of Compositional Reasoning.
137-151
Electronic Edition (link) BibTeX
- Uwe Aßmann, Andreas Bartho, Falk Hartmann, Ilie Savga, Barbara Wittek:
Trustworthy Instantiation of Frameworks.
152-168
Electronic Edition (link) BibTeX
- Steffen Becker, Lars Grunske, Raffaela Mirandola, Sven Overhage:
Performance Prediction of Component-Based Systems - A Survey from an Engineering Perspective.
169-192
Electronic Edition (link) BibTeX
- Steffen Becker, Antonio Brogi, Ian Gorton, Sven Overhage, Alexander Romanovsky, Massimo Tivoli:
Towards an Engineering Approach to Component Adaptation.
193-215
Electronic Edition (link) BibTeX
- Alexander Stuckenholz, Olaf Zwintzscher:
Compatible Component Upgrades Through Smart Component Swapping.
216-226
Electronic Edition (link) BibTeX
- Frantisek Plasil, Viliam Holub:
Exceptions in Component Interaction Protocols - Necessity.
227-244
Electronic Edition (link) BibTeX
- Sabine Glesner, Jan Olaf Blech:
Coalgebraic Semantics for Component Systems.
245-261
Electronic Edition (link) BibTeX
- Iman Poernomo:
A Type Theoretic Framework for Formal Metamodelling.
262-298
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:05:02 2009
by Michael Ley (ley@uni-trier.de)
