Software Composition

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

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

DOI: 10.1007/978-3-642-39614-4

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Seyed H. (Hossein) Haeri, Sibylle Schupp
    Pages 1-16
  3. Walter Cazzola, Edoardo Vacchi
    Pages 17-32
  4. Andreas Fuchs, Sigrid Gürgens
    Pages 33-48
  5. Fuminobu Takeyama, Shigeru Chiba
    Pages 81-96
  6. Peter Y. H. Wong
    Pages 97-112
  7. Fatih Gey, Stefan Walraven, Dimitri Van Landuyt, Wouter Joosen
    Pages 113-127
  8. Aleksandar S. Dimovski
    Pages 128-143
  9. Back Matter

About these proceedings

Introduction

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.

Keywords

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

  • 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