Filter your results
- 9
- 1
- 9
- 1
- 10
- 10
- 10
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Building a Customizable Business-Process-as-a-Service Application with Current State-of-Practice12th International Conference on Software Composition (SC), Jun 2013, Budapest, Hungary. pp.113-127, ⟨10.1007/978-3-642-39614-4_8⟩
Conference papers
hal-01492780v1
|
||
|
|
Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification12th International Conference on Software Composition (SC), Jun 2013, Budapest, Hungary. pp.65-80, ⟨10.1007/978-3-642-39614-4_5⟩
Conference papers
hal-01492777v1
|
||
|
|
Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches12th International Conference on Software Composition (SC), Jun 2013, Budapest, Hungary. pp.49-64, ⟨10.1007/978-3-642-39614-4_4⟩
Conference papers
hal-01492776v1
|
||
|
|
Neverlang 2 – Componentised Language Development for the JVM12th International Conference on Software Composition (SC), Jun 2013, Budapest, Hungary. pp.17-32, ⟨10.1007/978-3-642-39614-4_2⟩
Conference papers
hal-01492774v1
|
||
|
|
Implementing Feature Interactions with Generic Feature Modules12th International Conference on Software Composition (SC), Jun 2013, Budapest, Hungary. pp.81-96, ⟨10.1007/978-3-642-39614-4_6⟩
Conference papers
hal-01492778v1
|
||
|
|
Software CompositionSpringer, LNCS-8088, 2013, Lecture Notes in Computer Science, 978-3-642-39613-7. ⟨10.1007/978-3-642-39614-4⟩
Books
hal-01492781v1
|
||
|
|
Preserving Confidentiality in Component Compositions12th International Conference on Software Composition (SC), Jun 2013, Budapest, Hungary. pp.33-48, ⟨10.1007/978-3-642-39614-4_3⟩
Conference papers
hal-01492775v1
|
||
|
|
Verifying Data Independent Programs Using Game Semantics12th International Conference on Software Composition (SC), Jun 2013, Budapest, Hungary. pp.128-143, ⟨10.1007/978-3-642-39614-4_9⟩
Conference papers
hal-01492794v1
|
||
|
|
Reusable Components for Lightweight Mechanisation of Programming Languages12th International Conference on Software Composition (SC), Jun 2013, Budapest, Hungary. pp.1-16, ⟨10.1007/978-3-642-39614-4_1⟩
Conference papers
hal-01492773v1
|
||
|
|
Compositional Development of BPMN12th International Conference on Software Composition (SC), Jun 2013, Budapest, Hungary. pp.97-112, ⟨10.1007/978-3-642-39614-4_7⟩
Conference papers
hal-01492779v1
|