Abstract is missing.
- Deriving Functional Interface Specifications for Composite ComponentsPerla Velasco Elizondo, Mbe Koua Christophe Ndjatchi. 1-17 [doi]
- Comparing Machine Learning Approaches for Context-Aware CompositionAntonina Danylenko, Christoph W. Kessler, Welf Löwe. 18-33 [doi]
- An Implementation of Composable Memory Transactions in HaskellAndré Rauber Du Bois. 34-50 [doi]
- Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based SystemsSimon Bliudze, Joseph Sifakis. 51-67 [doi]
- A Sequence of Patterns for Reusable Aspect Libraries with Easy ConfigurationMaarten Bynens, Eddy Truyen, Wouter Joosen. 68-83 [doi]
- Pluggable Aspect Instantiation ModelsDavid H. Lorenz, Victor Trakhtenberg. 84-99 [doi]
- Composing Event-B Specifications - Case-Study ExperienceAli Gondal, Michael Poppleton, Michael Butler. 100-115 [doi]
- A Formal Approach for Incremental Construction with an Application to Autonomous Robotic SystemsSaddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Félix Ingrand, Axel Legay, Rongjie Yan. 116-132 [doi]
- Towards Incremental Cycle Analysis in ESMoL Distributed Control System ModelsJoseph Porter, Daniel Balasubramanian, Graham Hemingway, Janos Sztipanovits. 133-140 [doi]
- Assuring Architectural Properties during Compositional Architecture DesignConstanze Deiters, Andreas Rausch. 141-148 [doi]
- Coherence and Performance for Interactive Scientific Visualization ApplicationsSébastien Limet, Sophie Robert, Ahmed Turki. 149-164 [doi]
- Toward Validated Composition in Component-Based Adaptive MiddlewareAnnie Ressouche, Jean-Yves Tigli, Oscar Carrillo. 165-180 [doi]