Hasso-Plattner-Institut für Softwaresystemtechnik
Lehrveranstaltungen SS07
Lehrveranstaltungen SS07

Seminar: Software-Qualität bei der modellbasierten Softwareentwicklung (SS2007)

Dozent: Prof. Dr. Holger Giese (Gastdozenten oder Dozenten der Uni-Potsdam)

Beschreibung

Die modellbasierte Softwareentwicklung geht über die Modellierung hinaus. Es wird versucht die Modelle nicht nur als Grundlage für das Verständnis komplexer Systeme und der Bewertung von Alternativen während des Entwurfs zu nutzen, sondern Modelle darüber hinaus auch für die genauere Ausprägung und weitere Entwicklung und Wartung der Software zu verwenden. Im Rahmen dieses Seminars soll das Potential der modellbasierten Entwicklung von Softwaresystemen für die Software-Qualität betrachtet werden. Dies soll sowohl konstruktive wie auch analytische Techniken umfassen und den aktuellen Stand der Technik anhand ausgewählter Arbeiten beleuchten.

Stichpunkte:

o Modellbasierte Softwareentwicklung
o Validierung von Modellen
o Verifikation von Modellen
o Qualität von Modellen
o Testautomatisierung
o Korrektheit der Code-Generierung
o Korrektheit von Modelltransformationen

Lern- und Lehrformen

Das Seminar ist als Blockveranstaltung gegen Ende des Semesters geplant, bei dem alle Studierenden einen Vortrag von 45 Minuten Länge zu ihrem Thema halten werden. Nachfolgend muss eine schriftliche Ausarbeitung von maximal 10-12 Seiten Länge abgegeben werden. Die Anzahl der Seminarthemen ist auf maximal 10 begrenzt.

Literatur

Zu den einzelnen Seminarthemen werden jeweils Literaturvorschläge unterbreitet.

Leistungserfassungsprozess

Zur Leistungsbewertung werden der Vortrag sowie die schriftliche Ausarbeitung herangezogen.

Termine

 vorläufige Anmeldung per Email: bis Freitag 20.04.07, 23:59 Uhr
 Vorbesprechung: Dienstags 24.04.07, 13:30 - 15:00 Uhr, Raum A-2.1
Verpflichtende Termine:
30.04.2007 Ausgabe der Literatur
15.06.2007 Besprechung der Literatur
29.06.2007 Besprechung der Gliederung zur Ausarbeitung
13.07.2007 Besprechung der Präsentationsfolien
20.07.2007 Abgabe der Folien
25.07.2007 Seminar
27.07.2007 Seminar
15.08.2007 Abgabe der Ausarbeitung
Allgemeine Informationen

ID:

7 L 664

Kennung:

SWS:

2

ECTS Credit Points:

3 (benotet)

Einschreibefrist:

10.5.2007

Studiengang:

IT Systems Engineering, Software Systems Engineering (Master)

Themenmodul:

Lehrform:

Belegungsart:

Wahlfach

Themenkomplex:

Freie Informatikvertiefungsthemen (Master), Softwaresystemtechnische Vertiefungsthemen (Master)

Vertiefungsgebiet:

Systems Architecture, Security and Safety Engineering, Mobile & Embedded Systems, Internet-Technologien, Software Engineering

Zurück