Skip to main content
SpringerLink
Log in

Software Composition

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

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Walter Binder

    1. Faculty of Informatics, University of Lugano, Lugano, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Eric Bodden

    1. European Center for Security and Privacy by Design (EC SPRIDE), Technische Universität Darmstadt, Darmstadt, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Welf Löwe

    1. Department of Computer Science, Linnaeus University, Växjö, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast-track conference proceedings
  • State-of-the-art research

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

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

Included in the following conference series:

Conference proceedings info: SC 2013.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Reusable Components for Lightweight Mechanisation of Programming Languages

    • Seyed H. (Hossein) Haeri, Sibylle Schupp
    Pages 1-16

  3. Neverlang 2 – Componentised Language Development for the JVM

    • Walter Cazzola, Edoardo Vacchi
    Pages 17-32

  4. Preserving Confidentiality in Component Compositions

    • Andreas Fuchs, Sigrid Gürgens
    Pages 33-48

  5. Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches

    • Wakana Takeshita, Shigeru Chiba
    Pages 49-64

  6. Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification

    • José Sánchez, Gary T. Leavens
    Pages 65-80

  7. Implementing Feature Interactions with Generic Feature Modules

    • Fuminobu Takeyama, Shigeru Chiba
    Pages 81-96

  8. Compositional Development of BPMN

    • Peter Y. H. Wong
    Pages 97-112

  9. Building a Customizable Business-Process-as-a-Service Application with Current State-of-Practice

    • Fatih Gey, Stefan Walraven, Dimitri Van Landuyt, Wouter Joosen
    Pages 113-127

  10. Verifying Data Independent Programs Using Game Semantics

    • Aleksandar S. Dimovski
    Pages 128-143

  11. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Software Composition

Keywords

About this book

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.

Editors and Affiliations

  • Faculty of Informatics, University of Lugano, Lugano, Switzerland

    Walter Binder

  • European Center for Security and Privacy by Design (EC SPRIDE), Technische Universität Darmstadt, Darmstadt, Germany

    Eric Bodden

  • Department of Computer Science, Linnaeus University, Växjö, Sweden

    Welf Löwe

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation