zum

FOSD-­‐Treffen 2012, Braunschweig, 21.-­‐23. März 2012
(Stand 20.03.2012)
Mittwoch, 21.03
13:30 -­‐ 13:40
Begrüßung
13:40 -­‐ 14:15
Seidl
14:15 -­‐ 14:40
14:40 -­‐ 15:05
15:05 -­‐ 15:30
Schroeter
Siegmund
Kolesnikov
15:30 -­‐ 16:00
Kaffeepause
16:00 -­‐ 16:25
16:25 -­‐ 16:55
16:55 -­‐ 17:20
Thüm
von Rhein
Sobernig
17:20 -­‐ 17:45
17:45 -­‐ 18:10
Henneberg
Meinicke
Ina Schaefer, Ursula Goltz und Sven Apel
Chair: Goltz
Gemeinsamkeiten und Unterschiede von Software Produktlinien und Software Ökosystemen
Staged Configuration for SaaS-­‐Applications
Predicting Performance via Automated Feature-­‐Interaction Detection
Vorhersage von nicht-­‐funktionalen Feature-­‐Interaktionen
Chair: Apel
Classification of Product-­‐Line Analyses
Vergleich von Ansaetzen zur Produktlinienverifikation
Analysing Structural Dependencies in Software Product Lines using Distribution and Network Statistics
Analyse erweiterter Feature Modelle
Recent Developments in FeatureIDE (15min)
SPL2go: Sharing Software Product Lines (10 min)
19:30 Abendessen (Ristorante Romantica, Ägidienmarkt 15, 38100 Braunschweig)
Donnerstag, 22.03.
8:45 -­‐ 9:10
9:10 -­‐ 9:35
Berger
Kröher
9:35 -­‐ 10:00
El-­‐Sharkawy
10:00 -­‐ 10:25
Schröter
10:25 -­‐ 11:00 Kaffeepause
11:00 -­‐ 11:25
11:25 -­‐ 11:50
11:50 -­‐ 12:15
Lamprecht
Lesta
Zelend
Chair: Tartler
Variability Modeling in the Wild
Featuring Variability Modeling: Categorizing Expressiveness in Variability Modeling
Are Feature Modeling and Decision Modeling really that different? A Formal Analysis
Automatisierte Analysen zur Überprüfung von Feature-­‐Modellen in Multiproduktlinien
Chair: Lochau
Constraint-­‐based variability modeling
Struktur-­‐ und Constraint-­‐basierte Konfiguration
From Coloring Algebra to FOPs
Donnerstag, 22.03
12:15 -­‐ 13:45
Mittagspause (Mensa Katharinenstr.)
13:45 -­‐ 14:10
14:10 -­‐ 14:35
14:35 -­‐ 15:00
15:00 -­‐ 15:25
Hunsen
Lessenich
Tartler
Speidel
15:25 -­‐ 16:00
Kaffeepause
16:00 -­‐ 16:25
Püschel
16:25 -­‐ 16:55
16:55 -­‐ 17:20
17:20 -­‐ 17:45
17:45 -­‐ 18:00
Cichos
Lity
Lochau
Chair: Cichos
Feature-­‐Komposition auf Bytecode-­‐Ebene
Strukturierter Diff und Merge von Java Programmen
Understanding Linux Feature Distribution
Feature Monkey
Chair: Kästner
Testmodellierung dynamisch variabler Systeme durch Feature-­‐
basierte Petri-­‐Netze
Herleitung einer SPL-­‐Testsuite mittels Azmun & SPIN
Delta-­‐orientiertes Modell-­‐basiertes SPL Regressionstesten
Reuse Potentials in Model-­‐based Testing of SPLs
Diskussion
19:30 Abendessen (Parlament, Hannoversche Straße 60, 38116 Braunschweig)
Freitag, 23.3.
9:00 -­‐ 9:25
9:25 -­‐ 9:50
9:50 -­‐ 10:30
10:30 -­‐ 11:00 11:00 -­‐ 11:25
11:25 -­‐ 11:50
11:50 -­‐ 12:15
12:15 -­‐ 12:40
12:40 -­‐ 13:00
Gerlach/Stein-­‐
metz
Holdschick
Nienaber (David Software)
Chair: Schaefer
Delta-­‐Modellierung zur Variabilitätsbeschreibung in Car-­‐Infotainment Systemen
Wartbare Variantenmodellierung in Software-­‐Produktlinien Eingeladener Vortrag aus der Praxis mit Diskussion: "Feature-­‐
orientierte Entwicklung in der Automobilindustrie ─ Beherrschung der Komplexität vernetzter Funktionen"
Kaffeepause
Kästner
Liebig
Holthusen
Benduhn
Chair: Thüm
Variability Mining
Variable Kontrollflussgraphen in Typechef
Produktlinien-­‐fähiges Typsystem in FeatureIDE
JML in Feature-­‐orientierter Programmierung
Abschlussdiskussion
Wir bedanken uns bei der David Software GmbH für die Unterstützung des FOSD-­‐Treffens.