For some weeks now, the dblp team has been receiving an exceptionally high number of support and error correction requests from the community. While we are grateful and happy to process all incoming emails, please assume that it will currently take us several weeks to read and address your request. Most importantly, please refrain from sending your request multiple times. This will not advance your issue and will only complicate and extend the time required to address it. Thank you for your understanding.

Joint Declaration: The freedom of science is at the heart of liberal, democratic societies. Without this freedom, it is impossible for scientific efforts to be geared toward gaining knowledge and facts. It is therefore extremely worrying that the scientific freedom is coming under increasing pressure in various regions of the world. (read more)

default search action

combined dblp search
author search
venue search
publication search

ask others

10th SC@TOOLS 2011: Zurich, Switzerland

> Home > Conferences and Workshops > SC
> Home > Conferences and Workshops > TOOLS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/soco/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soco/2011
Sven Apel, Ethan K. Jackson:
Software Composition - 10th International Conference, SC@TOOLS 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings. Lecture Notes in Computer Science 6708, Springer 2011, ISBN 978-3-642-22044-9

Composition and Interfaces

- view
  authority control:
- export record
  dblp key:
  - conf/soco/ElizondoN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soco/ElizondoN11
Perla Velasco Elizondo, Mbe Koua Christophe Ndjatchi:
Deriving Functional Interface Specifications for Composite Components. 1-17
- view
  authority control:
- export record
  dblp key:
  - conf/soco/DanylenkoKL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soco/DanylenkoKL11
Antonina Danylenko, Christoph W. Kessler, Welf Löwe:
Comparing Machine Learning Approaches for Context-Aware Composition. 18-33
- view
  authority control:
- export record
  dblp key:
  - conf/soco/Bois11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soco/Bois11
André Rauber Du Bois:
An Implementation of Composable Memory Transactions in Haskell. 34-50
- view
  authority control:
- export record
  dblp key:
  - conf/soco/BliudzeS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soco/BliudzeS11
Simon Bliudze, Joseph Sifakis:
Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems. 51-67

Aspects and Features

- view
  authority control:
- export record
  dblp key:
  - conf/soco/BynensTJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soco/BynensTJ11
Maarten Bynens, Eddy Truyen, Wouter Joosen:
A Sequence of Patterns for Reusable Aspect Libraries with Easy Configuration. 68-83
- view
  authority control:
- export record
  dblp key:
  - conf/soco/LorenzT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soco/LorenzT11
David H. Lorenz, Victor Trakhtenberg:
Pluggable Aspect Instantiation Models. 84-99
- view
  authority control:
- export record
  dblp key:
  - conf/soco/GondalPB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soco/GondalPB11
Ali Gondal, Michael Poppleton, Michael J. Butler:
Composing Event-B Specifications - Case-Study Experience. 100-115

Applications I

- view
  authority control:
- export record
  dblp key:
  - conf/soco/BensalemSGILY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soco/BensalemSGILY11
Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Félix Ingrand, Axel Legay, Rongjie Yan:
A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems. 116-132
- view
  authority control:
- export record
  dblp key:
  - conf/soco/PorterBHS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soco/PorterBHS11
Joseph Porter, Daniel Balasubramanian, Graham Hemingway, Janos Sztipanovits:
Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models. 133-140
- view
  authority control:
- export record
  dblp key:
  - conf/soco/DeitersR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soco/DeitersR11
Constanze Deiters, Andreas Rausch:
Assuring Architectural Properties during Compositional Architecture Design. 141-148

Applications II

- view
  authority control:
- export record
  dblp key:
  - conf/soco/LimetRT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soco/LimetRT11
Sébastien Limet, Sophie Robert, Ahmed Turki:
Coherence and Performance for Interactive Scientific Visualization Applications. 149-164
- view
  authority control:
- export record
  dblp key:
  - conf/soco/RessoucheTC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soco/RessoucheTC11
Annie Ressouche, Jean-Yves Tigli, Oscar Carrillo:
Toward Validated Composition in Component-Based Adaptive Middleware. 165-180

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.