IFIP TC6 Open Digital Library

SC 2013: Budapest, Hungary

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

Walter Binder, Eric Bodden, Welf Löwe

Springer, Lecture Notes in Computer Science 8088, ISBN: 978-3-642-39613-7


Reusable Components for Lightweight Mechanisation of Programming Languages.

Seyed H. Haeri, Sibylle Schupp


Neverlang 2 - Componentised Language Development for the JVM.

Walter Cazzola, Edoardo Vacchi


Preserving Confidentiality in Component Compositions.

Andreas Fuchs, Sigrid Gürgens


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

Wakana Takeshita, Shigeru Chiba


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

José Sánchez, Gary T. Leavens


Implementing Feature Interactions with Generic Feature Modules.

Fuminobu Takeyama, Shigeru Chiba


Compositional Development of BPMN.

Peter Y. H. Wong


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

Fatih Gey, Stefan Walraven, Dimitri Van Landuyt, Wouter Joosen


Verifying Data Independent Programs Using Game Semantics.

Aleksandar Dimovski