Reusable Components for Lightweight Mechanisation of Programming Languages.

Seyed H. 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 T. Leavens

 65-80

Implementing Feature Interactions with Generic Feature Modules.

Fuminobu Takeyama, Shigeru Chiba

 81-96

Compositional Development of BPMN.

Peter Y. H. Wong

 97-112

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

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

 113-127

Verifying Data Independent Programs Using Game Semantics.

Aleksandar Dimovski

 128-143