index - Archive ouverte HAL Access content directly
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

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/