Program

9:00-10:15 Keynote Talk – Andreas Zeller: Mining Models from Generated System Tests

10:15-10:45 Coffee Break (with Tool Demos)

10:45-12:15 Session 1 (Chair: Shigeru Chiba)

  • Haeri, Schupp. Reusable Components for Lightweight Mechanisation of Programming Languages
  • Cazzola, Vacchi. Neverlang 2 — Componentised Language Development for the JVM
  • Fuchs, Guergens. Preserving Confidentiality in Component Compositions

12:15-14:00 Lunch (with tool demos)

14:00-15:00 Keynote Talk – Sven Apel: Language-Independent and Automated Software Composition: The FeatureHouse Experience

15:00-16:00 Session 2 (Chair: Walter Cazzola)

  • Takeshita, Chiba. Method Shells: Avoiding conflicts on destructive class extensions by implicit context switches
  • Sanchez, Leavens. Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification

16:00-16:30 Coffee Break

16:30-18:30 Session 3 (Chair: Gary Leavens)

  • Takeyama, Chiba. Implementing Feature Interactions with Generic Feature Modules
  • Wong. Compositional Development of BPMN
  • Gey, Walraven, Van Landuyt, Joosen. Building a Customizable Business-Process-as-a-Service Application with current State-of-Practice
  • Dimovski. Verifying Data Independent Programs Using Game Semantics

19:00-23:30 Banquet