Softwarezuverlässigkeit

Inhalt der Lehrveranstaltung

Vorlesung

Dozentin: Prof. Dr. F. Saglietti

Termin

Donnerstag, 12:15-13:45 Uhr, 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

Dienstag, 12:15-13:45 Uhr, Raum 00.152-113

Freitag, 14:15-15:45 Uhr, Raum 01.151-128 (Cauerstra├če 11)

Ü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)