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 |
Hosted by HAL : 