[English]
[Deutsch]

Lehrstuhl Software Engineering: Dependability
Prof. Dr.-Ing. Liggesmeyer

Home

Research

Teaching

Staff

Publications

Contact


Impressum

WS 2012

Lernziele der Vorlesung

Die Studierenden besitzen vertiefte Kenntnisse wichtiger Techniken der Software-Qualitätssicherung. Im Einzelnen erlernen sie dynamische Testtechniken, statische Analysen und formale Beweistechniken. Die Studierenden können die Eignung der unterschiedlichen Techniken bewerten. Sie sind in der Lage, Techniken für eine konkrete Situation auszuwählen und einzusetzen.

Inhalt der Vorlesung

Es werden aktuelle Techniken zur Software-Qualitätssicherung dargestellt.

Material

Organisatorisches

Dozent

Prof. Dr. Peter Liggesmeyer
Raum 32/425
Telefon: (0631) 205-3328
Sprechstunde: nach Vereinbarung

Veranstaltungen

Die Veranstaltung SQS besteht aus 2 SWS Vorlesung und 1 SWS Übung.

Vorlesungsbetreuung

Max Steiner
Raum: 32/427
Telefon: (0631) 205-2629
Sprechstunde: nach Vereinbarung

Einträge im KIS-System

Ankündigungen

Alle Ankündigungen werden auch auf der SEDA Startseite bekanntgegeben.

Prüfung

Die Termine der Klausur sind:
05.03.2013 in Raum 46-210, Beginn 09:00 Uhr
oder
04.04.2013 in Raum 46-110, Beginn 10:00 Uhr

Die Klausur dauert 90 Minuten. Einlass ist jeweils 15 Minuten vorher.

Die folgenden Hilfsmittel sind erlaubt:

Bringen Sie einen gültigen Studierendenausweis mit und, sollte dieser kein Bild von Ihnen führen, einen Personalausweis oder Reisepass!