International Symposium on Software Composition

Software Composition 2006, Vienna, Austria - Springer Proceedings



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