[English]
[Deutsch]

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

Home

Research

Teaching

Staff

Publications

Contact


Impressum

WS 2014

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
Sprechstunde: nach Vereinbarung

Veranstaltungen

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

Vorlesungsbetreuung

Max Steiner
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:
17.03.2015 in Raum 52-207, Beginn 09:00 Uhr
oder
16.04.2015 in Raum 42-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!