SC 2006: Vienna, Austria (Part of ETAPS 2006)

• Wolf Zimmermann, Michael Schaarschmidt:
  Automatic Checking of Component Protocols in Component-Based Systems. 1-17
  
• Christian Attiogbé, Pascal André, Gilles Ardourel:
  Checking Component Composability. 18-33
  
• Lieven Desmet, Frank Piessens, Wouter Joosen, Pierre Verbaeten:
  Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems. 34-49
  
• Philippe Collet, Alain Ozanne, Nicolas Rivierre:
  Enforcing Different Contracts in Hierarchical Component-Based Systems. 50-65
  
• Mathieu Braem, Kris Gybels, Andy Kellens, Wim Vanderperren:
  Automated Pattern-Based Pointcut Generation. 66-81
  
• Pierre-Charles David, Thomas Ledoux:
  An Aspect-Oriented Approach for Developing Self-Adaptive Fractal Components. 82-97
  
• Éric Tanter:
  Aspects of Composition in the Reflex AOP Kernel. 98-113
  
• Romain Rouvoy, Patricia Serrano-Alvarado, Philippe Merle:
  A Component-Based Approach to Compose Transaction Standards. 114-130
  
• Pawel T. Wojciechowski:
  A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties. 131-146
  
• Eric Bodden, Volker Stolz:
  Tracechecks: Defining Semantic Interfaces with Temporal Logic. 147-162
  
• Ion Constantinescu, Walter Binder, Boi Faltings:
  Service Composition with Directories. 163-177
  
• Uwe Zdun, Mark Strembeck:
  Modeling Composition in Dynamic Programming Environments with Model Transformations. 178-193
  
• William H. Harrison, Harold Ossher, Peri L. Tarr:
  General Composition of Software Artifacts. 194-210
  
• In-Gyu Kim, Tegegne Marew, Doo-Hwan Bae, Jang-Eui Hong, Sang-Yoon Min:
  Dimensions of Composition Models for Supporting Software Evolution. 211-226
  
• Éric Tanter, Kris Gybels, Marcus Denker, Alexandre Bergel:
  Context-Aware Aspects. 227-242
  
• Simon Denier, Pierre Cointe:
  Understanding Design Patterns Density with Aspects. 243-258
  
• Nicolas Pessemier, Lionel Seinturier, Thierry Coupaye, Laurence Duchien:
  A Model for Developing Component-Based and Aspect-Oriented Systems. 259-274
  
• Mikael Desertot, Humberto Cervantes, Didier Donsez:
  FROGi: Fractal Components Deployment over OSGi. 275-290
  
• Karine Altisen, Florence Maraninchi, David Stauch:
  Modular Design of Man-Machine Interfaces with Larissa. 291-306
  
• Markus Lumpe, Jean-Guy Schneider:
  On the Integration of Classboxes into C#. 307-322
  
• Kung-Kiu Lau, Vladyslav Ukis:
  Automatic Control Flow Generation from Software Architectures. 323-338