Software Composition

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

  • Thomas Gschwind
  • Flavio De Paoli
  • Volker Gruhn
  • Matthias Book
Conference proceedings SC 2012

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

Table of contents

  1. Front Matter
  2. Software Composition in Specification Languages

    1. Marius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis
      Pages 1-16
    2. Paul Istoan
      Pages 17-34
    3. Arnaud Lanoix, Olga Kouchnarenko, Samuel Colin, Vincent Poirriez
      Pages 35-50
    4. Mauro Caporuscio, Marco Funaro, Carlo Ghezzi
      Pages 51-67
  3. Context-Aware and Dynamic Composition

    1. Danilo Ansaloni, Walter Binder, Christoph Bockisch, Eric Bodden, Kardelen Hatun, Lukáš Marek et al.
      Pages 86-96
  4. Composition in Software Development

    1. Stijn Timbermont, Coen De Roover, Theo D’Hondt
      Pages 97-113
    2. Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali
      Pages 114-131
    3. Syed Muhammad Ali Shah, Jens Dietrich, Catherine McCartin
      Pages 132-147
  5. Applications of Software Composition

    1. Marc Hesenius, Carlos Dario Orozco Medina, Dominikus Herzberg
      Pages 148-161
    2. Walter Cazzola
      Pages 162-177
    3. Nicola Boffoli, Danilo Caivano, Daniela Castelluccia, Giuseppe Visaggio
      Pages 178-193
  6. Back Matter

About these proceedings


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.


aspect-oriented programming business process modeling real-time systems timed automata verification

Editors and affiliations

  • Thomas Gschwind
    • 1
  • Flavio De Paoli
    • 2
  • Volker Gruhn
    • 3
  • Matthias Book
    • 4
  1. 1.IBM Zurich Resarch LabRüschlikonSwitzerland
  2. 2.Department of Informatics, Systems and CommunicationUniversity of Milano - BicoccaMilanoItaly
  3. 3.paluno – The Ruhr Institute for Software TechnologyUniversity Duisburg-EssenEssenGermany
  4. 4.paluno - The Ruhr Institute for Software TechnologyUniversity Duisburg-EssenEssenGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-30563-4
  • Online ISBN 978-3-642-30564-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment