Lehrveranstaltungen Wintersemester 2007/2008
Vorlesungen im WS 2007/2008
Objektorientierte Programmierung (Prof. Dr. Wolf Zimmermann)
Vorlesung (erste Hälfte des Semesters)
Zeit: Dienstag 10.15-11.45 Uhr
Ort: HS 3.28
Dozent: Prof. Dr. Wolf Zimmermann
Übung (zweite Hälfte des Semesters)
Zeit: Dienstag 10.15-11.45 Uhr
Ort: 3.28
Dozent: Dipl.-Inf. Annett Thüring
Übung (2 Gruppen)
Zeit: Montag 12.15-13.45 Uhr
Ort: Pool
Dozent: Dipl.-Inf. Annett Thüring
Übung (2 Gruppen)
Zeit: Montag 14.15-15.45 Uhr
Ort: Pool
Dozent: Dipl.-Inf. Annett Thüring
Übung (1 Gruppe)
Zeit: Montag 16.15-17.45 Uhr
Ort: Pool
Dozent: Dipl.-Inf. Annett Thüring
Konzepte der Modellierung (Prof. Dr. Wolf Zimmermann)
Vorlesung
Zeit: Donnerstag 14.15-115.45 Uhr
Ort: HS 3.28
Übung
Zeit: 8.15-9.45 Uhr
Ort: SR 1.27
Dozent: Dr. Roswitha Picht
Übung
Zeit: Montag 10.15-11.45 Uhr
Ort: SR 0.03
Dozent: Dr. Roswitha Picht
Übung
Zeit: Montag 10.15-11.45 Uhr
Ort: SR 1.18
Dozent: Dr. Werner Gabrisch
Übung
Zeit: Dienstag 8.15-9.45 Uhr
Ort: SR 0.03
Dozent: Dr. Roswitha Picht
Übersetzerbau (Prof. Dr. Wolf Zimmermann)
Vorlesung
Zeit: Do 10.15-11.45 Uhr
Ort: HS 3.31
Übung
Zeit: Freitag 10.15-11.45 Uhr
Ort: HS 3.31
Dozent: Dipl.-Inform. Andreas Both
14 täglich im Wechsel mit Vorlesung
Konzepte höherer Programmiersprachen (Prof. Dr. Wolf Zimmermann)
Vorlesung
Zeit: Mittwoch 10.15-11.45 Uhr
Ort: HS 3.31
Übung
Zeit: Freitag 8.15-9.45 Uhr
Ort: HS 3.31
Dozent: Dr. Roswitha Picht
14 täglich im Wechsel mit Vorlesung
Konstruktion sicherheitskritischer Software (Dr. Werner Gabrisch)
Vorlesung
Zeit: Mittwoch 14.15- 16.45 Uhr
Ort: HS 3.31
Übung
Zeit: 14.15-15.45 Uhr
Ort: SR 0.03
Seminare im WS 2007/2008
Verifikation informationsverabeitender Systeme
Seminar
Zeit: Montag 16.00-17.30 Uhr
Ort: R 2.25
Dozent: Dr. Werner Gabrisch, Dipl.-Inform. Andreas Both