![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
5th SC@ETAPS 2006: Vienna, Austria
- Welf Löwe, Mario Südholt:
Software Composition - 5th International Symposium, SC@ETAPS 2006, Vienna, Austria, March 25-26, 2006, Revised Papers. Lecture Notes in Computer Science 4089, Springer 2006, ISBN 3-540-37657-7 - Wolf Zimmermann, Michael Schaarschmidt:
Automatic Checking of Component Protocols in Component-Based Systems. 1-17 - J. 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
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.