Softwarezuverlässigkeit

Inhalt der Lehrveranstaltung

Vorlesung

Dozentin: Prof. Dr. F. Saglietti

Termin

Mittwoch 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: Dr.-Ing. M. Meitner

Termine

Dienstag 10:15–11:45 Raum 02.134-113
Freitag 12:15–13:45 Raum 00.151-113

Übungsblätter

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)