FOSD Treffen Dresden

9.-11. März 2011



Programm

Mittwoch, 9. März 2011

10:30

10:40

Eröffnung

10:40

11:20

Sven Apel

Feature Cohesion in Software Product Lines

11:20

12:00

Marko Rosenmüller

Static and Dynamic Feature Binding in Software Product Lines

12:00

12:40

Arne Haber

Delta Modeling of Software Architectures

12:40

14:10

Mittagspause

14:10

14:50

Janet Feigenspan

Using Background Colors to Support Program Comprehension in Software Product Lines

14:50

15:30

Sandro Schulze

Codeklone vs. Variabilität in präprozessorbasierten C-Programmen

15:30

16:00

Pause

16:00

16:40

Christian Kästner

Parsing and Type Checking the Linux Kernel

16:40

17:20

Andreas Zelend

DFG Projekt "FeatureFoundation"

17:20

18:00

Diskussion

20:00

Abendessen (Vecchia Napoli http://www.vecchianapoli.de)

Karte siehe weiter unten

Donnerstag, 10. März 2011

9:40

10:20

Henrik Speidel

Feature-Aware Verification (Teil 1)

10:20

10:50

Alexander von Rhein

Feature-Aware Verification (Teil 2)

10:50

11:20

Pause

11:20

12:00

Sergiy Kolesnikov

Ein erweiterbarer Compiler zum feature-orientierten Programmieren in Java

12:00

12:40

Uwe Ryssel

Migration von funktionsblockorientierten Entwürfen für den Einsatz mit generativer Programmierung

12:40

14:10

Mittagspause

14:10

14:50

Reinhard Tartler

Christian Dietrich

Implication Conditions as Variability Model - The undertaker approach to KConfig

14:50

15:30

Stefan Mann

Variability Measures for Feature Models and Architectural Specifications

15:30

16:00

Pause

16:00

17:30

Demos

  1. Thorsten Berger - KBuildMiner
  2. Sven Apel - FeatureVisu
  3. Florian Heidenreich - FeatureMapper
  4. Norbert Siegmund - SPLConqueror
  5. Christian Kaestner / Thomas Thüm - FeatureIDE

19:30

Abendessen (Brauhaus Watzke http://www.watzke.de/ballhaus.html)

Freitag, 11. März 2011

9:40

10:20

Hans Körber

Verwendung von Feature-Modellen für Plausibilitätsprüfungen bei Code-Generatoren

10:20

11:00

Thomas Thüm

Proof Composition for Deductive Verification of Software Product Lines

11:00

11:40

Pause

11:40

12:30

Benedikt Hauptmann

Model-based Test Instantiation of UI based Applications

12:30

13:00

Steffen Haase

Dynamic Feature Mining

13:00

13:20

Abschluss

Teilnehmer

  1. Sven Apel (Passau) "Feature Cohesion in Software Product Lines"
  2. Uwe Aßmann (Dresden) (ab Donnerstag)
  3. Thorsten Berger (Leipzig)
  4. Janet Feigenspan (Magdeburg) "Using Background Colors to Support Program Comprehension in Software Product Lines"
  5. Christian Dietrich (Erlangen)
  6. Christoph Egger (Erlangen)
  7. Sebastian Götz (Dresden) (ab Donnerstag)
  8. Steffen Haase  (Magdeburg) “Mining Dynamic Features” (ab Donnerstag)
  9. Arne Haber (Aachen) "Delta Modeling of Software Architectures"
  10. Benedikt Hauptmann (München) "Produktspezifische Individualisierung von Userinterfaces in Produktlinien"
  11. Christian Kästner (Marburg) “Parsing and Type Checking the Linux Kernel”
  12. Sergiy Kolesnikov (Passau) “Ein erweiterbarer Compiler zum feature-orientierten Programmieren in Java"
  13. Hans Körber (Kaiserslautern/Zweibrücken)
  14. Christian Lengauer (Passau)
  15. Stefan Mann (Berlin) “Variability Measures for Feature Models and Architectural Specifications”
  16. Christoph Reisbach (Dresden)
  17. Alexander von Rhein (Passau) "Feature-Aware Verification (Part 1)"
  18. Marko Rosenmüller (Magdeburg) “Static and Dynamic Feature Binding in Software Product Lines”
  19. Uwe Ryssel (Dresden)
  20. Wolfgang Scholz (Passau)
  21. Julia Schroeter (Dresden)
  22. Sandro Schulze (Magdeburg) “Codeklone vs. Variabilität in präprozessorbasierten C-Programmen”
  23. Christoph Seidl (Dresden) (ab Freitag)
  24. Norbert Siegmund (Magdeburg)
  25. Henrik Speidel (Passau) "Feature-Aware Verification (Part 2)”
  26. Reinhard Tartler (Erlangen) “Implication Conditions as Variability Model - The undertaker approach to KConfig”
  27. Thomas Thüm (Magdeburg) “Proof Composition for Deductive Verification of Software Product Lines”
  28. Claas Wilke (Dresden)
  29. Andreas Zelend (Augsburg) DFG Projekt "FeatureFoundation"

Kontext

Ein erstes Treffen dieser Reihe fand im März 2009 in Passau statt, das zweite Treffen im Februar 2010 in Magdeburg. Dort wurden in interaktiver Runde diverse Vorträge und Demos zum Themenbereich FOSD gegeben die sehr interessante Diskussionen und Kooperationen hervorgerufen haben. Dabei wurde Wert auf eine Mischung aus Promotionsthemen, einzelnen Forschungsarbeiten, aber auch Diplom- bzw. Masterarbeiten gelegt, die jeweils unterschiedliche Fortschrittsgrade hatten.

Wir möchten das Ganze in diesem Jahr wiederholen und noch ausweiten. Die Themen- und Publikumsmischung war sehr spannend. Wir planen wieder an allen Tagen ein Vortragsprogramm, bei dem Interessierte ihr Thema vorstellen können. Die Vorträge werden voraussichtlich im Umfang von 20 Minuten sein, sodass reichlich Diskussionszeit bleibt (ca. 15 Minuten). Und natürlich ist auch ein Abendprogramm in gemütlicher Runde geplant.

Organisatorisches

Das Treffen beginnt am Mittwoch, 9. März um 10:30 Uhr und endet Freitag am frühen Nachmittag. Es findet im Großen Ratszimmer der Fakultät Informatik, Raum INF 1004, statt. Die Vorträge werden im Umfang von 20 Minuten sein, sodass reichlich Diskussionszeit bleibt (ca. 15 Minuten). Wer nicht die vollen 3 Tage dabei sein kann, lässt es uns bitte wissen, sodass wir die Vorträge entsprechend legen können.

Wie bei den früheren Treffen wird es natürlich keine Teilnahmegebühr geben, zum Mittagessen gehen wir in die nahe gelegene Mensa, zum Abendessen haben wir in einem Restaurant reserviert.

Abendessen 9.3.2011, Pizzaria Vecchia Napoli

http://www.vecchianapoli.de

Mit der Linie 3 ab Münchner Platz bis Albertplatz, dann kurz zu Fuß. Alternative Routen via http://www.dvb.de

Abendessen 10.3.2011, Brauhaus Watzke

http://www.watzke.de/ballhaus.html

Mit der Linie 3 ab Münchner Platz bis Liststraße, dann ab Liststraße mit der 13 bis Altpieschen. Alternative Routen via http://www.dvb.de

Anreise und Übernachtung

Anreise mit dem Zug

Die Fakultät Informatik befindet sich auf dem TU-Campus im Süden Dresdens in der Nöthnitzer Straße 46 und ist mit der Straßenbahn-Linie 3 (Haltestelle Nöthnitzer Straße) zu erreichen. Vom Dresdner Hauptbahnhof fahren Sie mit der Straßenbahnlinie 3 (Richtung Coschütz) drei Stationen bis Haltestelle "Münchner Platz", laufen die "Georg-Schumann-Straße" bergauf bis zur "Nöthnitzer Straße". Das Fakultätsgebäude befindet sich auf der gegenüberliegenden Straßenseite. Vom Bahnhof Dresden-Neustadt fahren Sie mit der Straßenbahnlinie 3 (Richtung Coschütz) zehn Stationen bis Haltestelle "Münchner Platz", laufen die "Georg-Schumann-Straße" bergauf bis zur "Nöthnitzer Straße". Das Fakultätsgebäude befindet sich auf der gegenüberliegenden Straßenseite.

Anreise mit dem Auto

Für die Anreise per Auto verlassen Sie die A4 am Dreieck Dresden-West und fahren die A17 in Richtung Prag. Verlassen Sie die A17 an der Ausfahrt Dresden-Südvorstadt und folgen Sie der B170 stadteinwärts. Am Verkehrsschild "Plauen" biegen Sie links in die Nöthnitzer Straße ein. Das Fakultätsgebäude befindet sich auf der linken Seite.

Übernachtung in Dresden

Das Royal Inn Leonardo Dresden ist ein Hotel das in Campusnähe liegt und von dem die Fakultät Informatik gut zu Fuß erreichbar ist.

http://www.dresden.the-royal-inn.de/

Etwas gehobener ist das Pullman Newa direkt am Hauptbahnhof, von dem man den Campus wieder bequem mit der Straßenbahnlinie 3 erreicht.

http://www.pullman-deutschland.de/pullman_dresden.html

Für die, die Abends gerne noch im »Szeneviertel Neustadt« unterwegs sind, bieten sich die Hostels Louise20 http://www.louise20.de/ , LaLeLu http://www.lalelu-hostel.de und der Mondpalast http://www.mondpalast.de an. Auch von dort lässt sich der Campus in

ca. 30 Minuten gut erreichen.

Cool Wall

Cool Wall 2D

Erweiterte Variante der Cool Wall vom FOSD-Treffen 2010 ("nerdiness" als neue Dimension). Enstanden in einem abendlichen, spontanen Brainstorming.....