Wintersemester 1998/99

Vorlesungen

• Informatik III: Betriebssysteme.
  Prof. Dr. Willem-Paul de Roever
  Zeit: Mo 8-11

• Data Refinement .
  Ulrich Hannemann und Prof. Dr. Willem-Paul de Roever
  Zeit: Di. & Do 9-11

• Testen nebenläufiger Programme: Praxis und Theorie .
  Yassine Lakhnech, Michael Siegel, Prof. Dr. Willem-Paul de Roever
  Zeit:

Übungen und Praktika

• Übungen zur Vorlesung Informatik III.
  Ulrich Hannemann, Martin Steffen
  Zeit: Do 15-16 Uhr

• Übungen zur Vorlesung Testen nebenläufiger Programme: Praxis und Theorie .
  Yassine Lakhnech und Michael Siegel
  Zeit:

• Übungen zur Vorlesung Data Refinement .
  Ulrich Hannemann
  Zeit: n.V

• Programming-in-the-many: Java (``Pest'') (Praktikum im Hauptstudium).
  Erich Mikk und Martin Steffen
  Zeit:

• Projektpraktikum.
  Michael Siegel und Prof. Dr. Willem-Paul de Roever
  Zeit: Di. 9-11 Uhr

Seminare

• Seminar über SW-Technologie: Semantik und Verifikation objektorientierter Programme
  Prof. Dr. Willem-Paul de Roever, Martin Steffen
  Zeit: Freitag, 9 ct.

• Diplomandenseminar.
  Zeit: Dienstag, 9 Uhr.