Software Composition

8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

  • Alexandre Bergel
  • Johan Fabry
Conference proceedings SC 2009

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

Table of contents

  1. Front Matter
  2. Paul Klint, Jurgen Vinju, Tijs van der Storm
    Pages 1-4
  3. Stéphane Ducasse
    Pages 5-8
  4. Sven Apel, Christian Kästner, Armin Größlinger, Christian Lengauer
    Pages 9-26
  5. Lorenzo Bettini, Viviana Bono, Erica Turin
    Pages 27-44
  6. Stefan Boxleitner, Sven Apel, Christian Kästner
    Pages 45-54
  7. Rémi Douence, Xavier Lorca, Nicolas Loriant
    Pages 55-71
  8. Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte
    Pages 72-89
  9. Jendrik Johannes, Roland Samlaus, Mirko Seifert
    Pages 90-106
  10. Jaroslaw D. M. Kuśmierek
    Pages 107-124
  11. Freddy Munoz, Benoit Baudry
    Pages 125-141
  12. Cesare Pautasso
    Pages 142-159
  13. Mark Snyder, Nicolas Frisby, Garrin Kimmell, Perry Alexander
    Pages 160-176
  14. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 8th International Symposium on Software Composition, SC 2009, held in Zurich, Switzerland, in July 2009. The workshop has been organized as an event co-located with the TOOLS Europe 2009 conference.

The 10 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 34 submissions. The papers reflect current research in software composition to foster developing of composition models and techniques by using aspect- and service-oriented programming, specification of component contracts and protocols, methods of correct components composition, as well as verification, validation and testing techniques - even in pervasive computing environments and for the Web.


Java adaptive components aspect-oriented systems class reuse class-based languages component composition component modeling component-based systems design dynamic languages functional programming programming testing validation verification

Editors and affiliations

  • Alexandre Bergel
    • 1
  • Johan Fabry
    • 2
  1. 1.Computer Science Department (DCC)Universidad De ChileSantiagoChile
  2. 2.PLEIAD Laboratroy, Computer Science Department (DCC)Universidad De ChileSantiagoChile

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-02654-6
  • Online ISBN 978-3-642-02655-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site