Lehrveranstaltungen Wintersemester 2006/2007
Vorlesungen im WS 2006/2007
Übersetzerbau (Prof. Dr. Wolf Zimmermann)
Donnerstag 10:15 - 11:45 (Vorlesung) HS 3.31,
Freitag 13:30-15:00 (Vorlesung) HS 3.31, im Wechsel mit der Hörsaalübung
Grundlagen und Konzepte der Modellierung (Prof. Dr. Wolf Zimmermann, Dr. Sybille Schwarz)
Dienstag 14:15 - 15:45 (Vorlesung) HS. 3.28, Donnerstag 14:15 - 15:45 (Vorlesung) HS 3.28
Semantik von Programmiersprachen (Prof. Dr. Wolf Zimmermann)
Mittwoch 10:15 - 11:45 (Vorlesung) SR 1.29
Spezifikationstechniken (Dr. Werner Gabrisch)
Montag 14:15 - 15:45 (Vorlesung) SR 1.29, Mittwoch 14:15 - 15:45 (Vorlesung) SR 1.29
Objektorientierte Programmierung
Zeit: unregelmäßige Veranstaltung oder Blockveranstaltung. Keine aktuellen oder zukünftigen Termine.
Ort: Seminarraum/ Rechnerpool
DozentIn: Dr. Roswitha Picht
Seminare im WS 2006/2007
Verifikation von Komponentensystem
voraussichtlicher Termin: Montag 16:00 - 17:30 Raum 2.25
Oberseminare im WS 2006/2007
Softwaretechnik und Programmiersprachen
Zeit: Donnerstag 16:45 - 18:15
Ort: Seminarraum 1.29 [VSP]
DozentInnen: Dipl.-Inf. Andreas Both, Dr.-Ing. Werner Gabrisch, Dr. Roswitha Picht, Prof. Dr. Wolf Zimmermann
Übungen im WS 2006/2007
Grundlagen und Konzepte der Modellierung (Gruppe 3)
Zeit: Mittwoch 12:15 - 13:45 (Übung)
Ort: Seminarraum 1.30 [VSP]
DozentInnen: Dr.-Ing. Werner Gabrisch, Dipl.-Inform. Jöran Mielke
Grundlagen und Konzepte der Modellierung (Gruppe 4)
Zeit: Donnerstag 10:15 - 11:45
Ort: Seminarraum 1.30 [VSP]
DozentInnen: Dr.-Ing. Werner Gabrisch, Dipl.-Inform. Jöran Mielke
Grundlagen und Konzepte der Modellierung (Übung)
Zeit: Dienstag 16:15 - 17:00 (Übung)
Ort: Hörsaal 3.28 [VSP]
DozentInnen: Dipl.-Inf. Andreas Both, Dr. Sibylle Schwarz
Übersetzerbau (Übung)
Zeit: Freitag 13:30 -15:00 (Übung) im Wechsel mit der Vorlesung
Ort: Hörsaal 3.31 [VSP]
DozentIn: Dipl.-Inf. Andreas Both
Grundlagen und Konzepte der Modellierung (Gruppe 1)
Zeit: Dienstag 8:15 - 9:45
Ort: Seminarraum 1.30 [VSP]
DozentInnen: Dr. Roswitha Picht, Dr. Renate Winter
Grundlagen und Konzepte der Modellierung (Gruppe 2)
Zeit: Mittwoch 8:15 - 9:45
Ort: Seminarraum 1.30 [VSP]
DozentInnen: Dr. Roswitha Picht, Dr. Renate Winter
Grundlagen und Konzepte der Modellierung (Gruppe 5)
Zeit: Mittwoch 10:15 - 11:45
Ort: Seminarraum 1.30 [VSP]
DozentInnen: Dipl.-Inform. Jöran Mielke, Dr. Roswitha Picht
Semantik von Programmiersprachen (Übung)
Zeit: Dienstag 10:15 - 11:45 (Übung)
Ort: Seminarraum 1.29 [VSP]
DozentIn: Dr. Roswitha Picht