Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2012

Software Composition

11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings

Editors:

  1. Thomas Gschwind

    1. IBM Zurich Resarch Lab, Rüschlikon, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Flavio Paoli

    1. Department of Informatics, Systems and Communication, University of Milano - Bicocca, Milano, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Volker Gruhn

    1. paluno – The Ruhr Institute for Software Technology, University Duisburg-Essen, Essen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Matthias Book

    1. paluno - The Ruhr Institute for Software Technology, University Duisburg-Essen, Essen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Unique visibility
  • Fast track conference proccedings
  • State of the art research

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

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

Conference series link(s): SC: International Workshop on Structural Computing

Conference proceedings info: SC 2012.

Sections

Buy it now

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

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

Table of contents (12 papers)

  1. Front Matter

    PDF

  2. Software Composition in Specification Languages

    1. Modeling Dynamic Architectures Using Dy-BIP

      • Marius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis
      Pages 1-16

    2. Defining Composition Operators for BPMN

      • Paul Istoan
      Pages 17-34

    3. Relaxing B Sharing Restrictions within CSP||B

      • Arnaud Lanoix, Olga Kouchnarenko, Samuel Colin, Vincent Poirriez
      Pages 35-50

    4. PaCE: A Data-Flow Coordination Language for Asynchronous Network-Based Applications

      • Mauro Caporuscio, Marco Funaro, Carlo Ghezzi
      Pages 51-67

  3. Context-Aware and Dynamic Composition

    2. Challenges for Refinement and Composition of Instrumentations: Position Paper

      • Danilo Ansaloni, Walter Binder, Christoph Bockisch, Eric Bodden, Kardelen Hatun, Lukáš Marek et al.
      Pages 86-96

  4. Composition in Software Development

    1. Constructing Customized Interpreters from Reusable Evaluators Using Game

      • Stijn Timbermont, Coen De Roover, Theo D’Hondt
      Pages 97-113

    2. Revising and Extending the Uppaal Communication Mechanism

      • Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali
      Pages 114-131

    3. On the Automated Modularisation of Java Programs Using Service Locators

      • Syed Muhammad Ali Shah, Jens Dietrich, Catherine McCartin
      Pages 132-147

  5. Applications of Software Composition

    1. Touching Factor: Software Development on Tablets

      • Marc Hesenius, Carlos Dario Orozco Medina, Dominikus Herzberg
      Pages 148-161

    2. Domain-Specific Languages in Few Steps

      • Walter Cazzola
      Pages 162-177

    3. Business Process Lines and Decision Tables Driving Flexibility by Selection

      • Nicola Boffoli, Danilo Caivano, Daniela Castelluccia, Giuseppe Visaggio
      Pages 178-193

  6. Back Matter

    PDF
Back to top

Other Volumes

  1. Software Composition

Back to top

About this book

The book constitutes the refereed proceedings of the 11th International Conference on Software Composition, SC 2012, held in Prague, Czech Republic, in May/June 2012, co-located with TOOLS 2012 Federated Conferences. The 12 revised full papers were carefully reviewed and selected from 42 submissions for inclusion in the book. The papers reflect all current research in software composition and are organized in topical sections on software composition in specification languages; context-aware and dynamic composition; composition in software development; and applications of software composition.
Back to top

Keywords

Back to top

Editors and Affiliations

  • IBM Zurich Resarch Lab, Rüschlikon, Switzerland

    Thomas Gschwind

  • Department of Informatics, Systems and Communication, University of Milano - Bicocca, Milano, Italy

    Flavio Paoli

  • paluno – The Ruhr Institute for Software Technology, University Duisburg-Essen, Essen, Germany

    Volker Gruhn

  • paluno - The Ruhr Institute for Software Technology, University Duisburg-Essen, Essen, Germany

    Matthias Book

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation