Table of Contents
|
Software Composition Walter Binder, Eric Bodden, Welf Löwe (Eds.) |
Front Matter |
Reusable Components for Lightweight Mechanisation of Programming Languages Seyed Haeri, Sibylle Schupp |
1-16 |
Neverlang 2 – Componentised Language Development for the JVM Walter Cazzola, Edoardo Vacchi |
17-32 |
Preserving Confidentiality in Component Compositions Andreas Fuchs, Sigrid Gürgens |
33-48 |
Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches Wakana Takeshita, Shigeru Chiba |
49-64 |
Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification José Sánchez, Gary Leavens |
65-80 |
Implementing Feature Interactions with Generic Feature Modules Fuminobu Takeyama, Shigeru Chiba |
81-96 |
Compositional Development of BPMN Peter Wong |
97-112 |
Building a Customizable Business-Process-as-a-Service Application with Current State-of-Practice Fatih Gey, Stefan Walraven, Dimitri Landuyt, Wouter Joosen |
113-127 |
Verifying Data Independent Programs Using Game Semantics Aleksandar Dimovski |
128-143 |