Full Text Documents

Search


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

 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/