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

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
  

Articles by Participants

• 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