Software Composition

12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

  • Walter Binder
  • Eric Bodden
  • Welf Löwe
Conference proceedings SC 2013

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

Table of contents

About these proceedings


The book constitutes the refereed proceedings of the 12th International Conference on Software Composition, SC 2013, held in Budapest, Hungary, in June 2013, co-located with the STAF 2013 Federated Conferences. The 9 revised full papers were carefully reviewed and selected from 21 submissions for inclusion in the book. The papers reflect all current research in software composition, including but not limited to component-based software engineering; composition and adaption techniques; composition algebras, calculi, and type systems; feature-oriented software development; verification, validation, and testing; dynamic composition and reconfiguration.


business process modeling component composition feature interactions service verification

Editors and affiliations

  • Walter Binder
    • 1
  • Eric Bodden
    • 2
  • Welf Löwe
    • 3
  1. 1.Faculty of InformaticsUniversity of LuganoLuganoSwitzerland
  2. 2.European Center for Security and Privacy by Design (EC SPRIDE)Technische Universität DarmstadtDarmstadtGermany
  3. 3.Department of Computer ScienceLinnaeus UniversityVäxjöSweden

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-39613-7
  • Online ISBN 978-3-642-39614-4
  • 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
Energy, Utilities & Environment