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

Dozent: Prof. Dr. Holger Giese (Systemanalyse und Modellierung)

Allgemeine Information

• Semesterwochenstunden: 2
• ECTS: 3
• Benotet: Ja
• Einschreibefrist: 10.05.2007
• Lehrform:
• Belegungsart: Wahlpflichtmodul

Studiengänge

• IT-Systems Engineering MA

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

Literatur

Zu den einzelnen Seminarthemen werden jeweils Literaturvorschläge unterbreitet.

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.

Leistungserfassung

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

Zurück