Lehre im Winter 1999/00 (Gruppe Krieg-Brückner)

Diese Seite verzeichnet die Lehrveranstaltungen von Mitarbeitern der Gruppe Krieg-Brückner im Wintersemester 1999/00.

Ältere Verzeichnisse der Veranstaltungen im Sommer 99, Winter 98/99, Sommer 98, Winter 97/98, Sommer 97, Winter 96/97, Sommer 96, Winter 95/96, Sommer 95, sowie aller bisheriger Veranstaltungen von Bernd Krieg-Brückner sind auch noch vorhanden.

Hauptstudium

Studentisches Projekt im 7. Semester

[3-798] Thomas Röfer, Bernd Krieg-Brückner: ROSES - Rollstuhl als sicherer eingebettetes System.
Freitags 10-12 und 13-15 in MZH 5300.

Kurse

[3-632] Till Mossakowski, Markus Roggenbach: Algebraische Spezifikation
Dienstags 15-17 im MZH 5210 und Donnerstags 10-12 im MZH 5210.

[3-762] Christoph Lüth, George Russell: Abstrakte Systemprogrammierung
Kurs: Dienstags 10-12 im MZH 7250. Übung: Donnerstags von 13-15 in MZH 5300.

Seminare

[3-764] Berthold Hoffmann: Visuelle Sprachen
Montags 13-15 in MZH 5300.

[3-764] Hui Shi: Systemverifikation
durch Spezifikation und Modelchecking Montags 13-15 in MZH 5300.

Graduiertenseminare

[3-767] Helena Szczerbicka, Jan Peleska, Bernd Krieg-Brückner, Hans-Jörg Kreowski, Martin Gogolla, Holger Schlingloff:
Graduiertenseminar Sichere Systeme.
Mittwochs 15-17 in MZH 8090.

[3-784] Bernd Krieg-Brückner, Christoph Lüth: Graduierten-Seminar Formale Methoden der Softwaretechnik.
Freitags 8:30-10 in MZH 8090.