SC A

13 papers

YearTitle / Authors
2011A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems.
Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Félix Ingrand, Axel Legay, Rongjie Yan
2011A Sequence of Patterns for Reusable Aspect Libraries with Easy Configuration.
Maarten Bynens, Eddy Truyen, Wouter Joosen
2011An Implementation of Composable Memory Transactions in Haskell.
André Rauber Du Bois
2011Assuring Architectural Properties during Compositional Architecture Design.
Constanze Deiters, Andreas Rausch
2011Coherence and Performance for Interactive Scientific Visualization Applications.
Sébastien Limet, Sophie Robert, Ahmed Turki
2011Comparing Machine Learning Approaches for Context-Aware Composition.
Antonina Danylenko, Christoph W. Kessler, Welf Löwe
2011Composing Event-B Specifications - Case-Study Experience.
Ali Gondal, Michael Poppleton, Michael J. Butler
2011Deriving Functional Interface Specifications for Composite Components.
Perla Velasco Elizondo, Mbe Koua Christophe Ndjatchi
2011Pluggable Aspect Instantiation Models.
David H. Lorenz, Victor Trakhtenberg
2011Software Composition - 10th International Conference, SC@TOOLS 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings
Sven Apel, Ethan K. Jackson
2011Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems.
Simon Bliudze, Joseph Sifakis
2011Toward Validated Composition in Component-Based Adaptive Middleware.
Annie Ressouche, Jean-Yves Tigli, Oscar Carrillo
2011Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models.
Joseph Porter, Daniel Balasubramanian, Graham Hemingway, Janos Sztipanovits