Sommersemester 2000

Vorlesungen

• Verifikation nebenläufiger Programme
  W.-P. de Roever
  Zeit: Mo. 8:45-11:00, Mi. 8:00-9:00 Uhr
  

• Statemate/SDL Teleteachingvorlesung zusammen mit dem Institut für Telematik der Universität Lübeck
  W.-P. de Roever, Prof. Dr. D. Hogrefe (Universität Lübeck)
  Zeit: Fr. 13-15 Uhr
  

• Einführung in die Multimedia- und Mobilkommunikation Teleteachingvorlesung zusammen mit dem Institut für Telematik der Universität Lübeck
  W.-P. de Roever, Prof. Dr. D. Hogrefe (Universität Lübeck)
  Zeit: Do. 16-18 Uhr
  Beginn: Do. 20.4.
  

Übungen und Praktika

• Fortgeschrittenenpraktikum ``Programming-in-the-many'': Verteilte Programmierung in Java : Model-checking environment for state-transition systems: (``Mist'' )
  Martin Steffen, Karsten Stahl
  Zeit: Montags, 14 ct
  Ort: Haus II, Raum 332

• Projektpraktikum Softwaretechnologie
  W.-P. de Roever
  Zeit: Do. 9-11 Uhr
  

• Übungen zu Verifikation nebenläufiger Programme
  B. Lukoschus
  Zeit: Fr. 14:15-15:45 Uhr
  Ort: Haus II, Raum 332

• Übungen zu Statemate/SDL
  K. Baukus
  Zeit: Mi. 16 - 18
  

Seminare

• Seminar Softwaretechnologie: Verteilte Algorithmen
  W.-P. de Roever und Mitarbeiter
  Zeit: Freitag, 9 ct.

• Diplomandenseminar
  Zeit: Dienstag, 9 Uhr.