| Automatic Checking of Component Protocols in Component-Based Systems / Wolf Zimmermann ; Michael Schaarschmidt |
| Checking Component Composability / Christian Attiogbe ; Pascal Andre ; Gilles Ardourel |
| Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems / Lieven Desmet ; Frank Piessens ; Wouter Joosen ; Pierre Verbaeten |
| Enforcing Different Contracts in Hierarchical Component-Based Systems / Philippe Collet ; Alain Ozanne ; Nicolas Rivierre |
| Automated Pattern-Based Pointcut Generation / Mathieu Braem ; Kris Gybels ; Andy Kellens ; Wim Vanderperren |
| An Aspect-Oriented Approach for Developing Self-Adaptive Fractal Components / Pierre-Charles David ; Thomas Ledoux |
| Aspects of Composition in the Reflex AOP Kernel / Eric Tanter |
| A Component-Based Approach to Compose Transaction Standards / Romain Rouvoy ; Patricia Serrano-Alvarado ; Philippe Merle |
| A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties / Pawel T. Wojciechowski |
| Tracechecks: Defining Semantic Interfaces with Temporal Logic / Eric Bodden ; Volker Stolz |
| Service Composition with Directories / Ion Constantinescu ; Walter Binder ; Boi Faltings |
| Modeling Composition in Dynamic Programming Environments with Model Transformations / Uwe Zdun ; Mark Strembeck |
| General Composition of Software Artifacts / William Harrison ; Harold Ossher ; Peri Tarr |
| Dimensions of Composition Models for Supporting Software Evolution / In-Gyu Kim ; Tegegne Marew ; Doo-Hwan Bae ; Jang-Eui Hong ; Sang-Yoon Min |
| Context-Aware Aspects / Marcus Denker ; Alexandre Bergel |
| Understanding Design Patterns Density with Aspects / Simon Denier ; Pierre Cointe |
| A Model for Developing Component-Based and Aspect-Oriented Systems / Nicolas Pessemier ; Lionel Seinturier ; Thierry Coupaye ; Laurence Duchien |
| FROGi: Fractal Components Deployment over OSGi / Mikael Desertot ; Humberto Cervantes ; Didier Donsez |
| Modular Design of Man-Machine Interfaces with Larissa / Karine Altisen ; Florence Maraninchi ; David Stauch |
| On the Integration of Classboxes into C# / Markus Lumpe ; Jean-Guy Schneider |
| Automatic Control Flow Generation from Software Architectures / Kung-Kiu Lau ; Vladyslav Ukis |
| Author Index |
| Automatic Checking of Component Protocols in Component-Based Systems / Wolf Zimmermann ; Michael Schaarschmidt |
| Checking Component Composability / Christian Attiogbe ; Pascal Andre ; Gilles Ardourel |
| Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems / Lieven Desmet ; Frank Piessens ; Wouter Joosen ; Pierre Verbaeten |
ＥＢ
図書
