Softwarezuverlässigkeit

Inhalt der Lehrveranstaltung

Vorlesung

Dozentin: Prof. Dr. F. Saglietti

Termin

Dienstag 12:15–13:45 Raum 00.152-113

Folien zur Vorlesung

Kapitel 1
Kapitel 2.1 2.2
Kapitel 3.1 3.2 3.3 3.4 3.5/6
Kapitel 4.1 4.2 4.3/4
Kapitel 5.1/2 5.3/4

Tafelübungen

Dozent: Dipl.-Inf. Matthias Meitner

Termine (ab der dritten Vorlesungswoche)

Donnerstag 10:15–11:45 Raum: 10.125 Unterrichtssprache: Deutsch
Montag 12:15–13:45 Raum: 10.150 Unterrichtssprache: Englisch

Übungsblätter

Aufgabenblatt 1 Aufgabenblatt 6 Aufgabenblatt 11
Aufgabenblatt 2 Aufgabenblatt 7
Aufgabenblatt 3 Aufgabenblatt 8
Aufgabenblatt 4 Aufgabenblatt 9
Aufgabenblatt 5 Aufgabenblatt 10

Materialien

Das Tool CASRE 3.0 ist kostenlos erhältlich unter http://www.openchannelsoftware.com/projects/CASRE_3.0
(Anmeldung + Mailen/Faxen der unterschriebenen Lizenzbedingung erforderlich)