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

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