Skip to main content
SpringerLink
Log in
Book cover

Software Composition

10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Sven Apel

    1. University of Passau, Passau, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ethan Jackson

    1. Microsoft Research, Redmond, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6708)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SC 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Download chapter PDF

  2. Composition and Interfaces

    1. Deriving Functional Interface Specifications for Composite Components

      • Perla Velasco Elizondo, Mbe Koua Christophe Ndjatchi
      Pages 1-17

    2. Comparing Machine Learning Approaches for Context-Aware Composition

      • Antonina Danylenko, Christoph Kessler, Welf Löwe
      Pages 18-33

    3. An Implementation of Composable Memory Transactions in Haskell

      • André Rauber Du Bois
      Pages 34-50

    4. Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems

      • Simon Bliudze, Joseph Sifakis
      Pages 51-67

  3. Aspects and Features

    1. A Sequence of Patterns for Reusable Aspect Libraries with Easy Configuration

      • Maarten Bynens, Eddy Truyen, Wouter Joosen
      Pages 68-83

    2. Pluggable Aspect Instantiation Models

      • David H. Lorenz, Victor Trakhtenberg
      Pages 84-99

    3. Composing Event-B Specifications - Case-Study Experience

      • Ali Gondal, Michael Poppleton, Michael Butler
      Pages 100-115

  4. Applications I

    1. A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems

      • Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Felix Ingrand, Axel Legay, Rongjie Yan
      Pages 116-132

    2. Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models

      • Joseph Porter, Daniel Balasubramanian, Graham Hemingway, János Sztipanovits
      Pages 133-140

    3. Assuring Architectural Properties during Compositional Architecture Design

      • Constanze Deiters, Andreas Rausch
      Pages 141-148

  5. Applications II

    1. Coherence and Performance for Interactive Scientific Visualization Applications

      • Sébastien Limet, Sophie Robert, Ahmed Turki
      Pages 149-164

    2. Toward Validated Composition in Component-Based Adaptive Middleware

      • Annie Ressouche, Jean-Yves Tigli, Oscar Carrillo
      Pages 165-180

  6. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Software Composition

Keywords

About this book

The book constitutes the refereed proceedings of the 10th International Conference on Software Composition, SC 2011, held in Zurich, Switzerland, in June/July 2011, co-located with TOOLS 2011 Federated Conferences. The 10 revised full papers and 2 short papers were carefully reviewed and selected from 32 initial submissions for inclusion in the book. The papers reflect all current research in software composition and are organized in topical sections on composition and interfaces, aspects and features, and applications.

Editors and Affiliations

  • University of Passau, Passau, Germany

    Sven Apel

  • Microsoft Research, Redmond, USA

    Ethan Jackson

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation