Humboldt-Universität zu Berlin, Institut für Informatik

Kommentiertes Vorlesungsverzeichnis SS 1995

Hauptstudium: Kurse/Halbkurse Softwaretechnik

UNIX-Kurs (Teil II) 
VL      Mi      10-12           LIN 426     Chr. Polze/ J.-P. Redlich
        Fr      10-12           LIN 426     Chr. Polze/ J.-P. Redlich

Kooperatives Prototyping (Halbkurs)
VL      Mo      12-14           LIN 016     Chr. Dahme
        Do      12-14           LIN 016     Chr. Dahme

Programmverifikation (Halbkurs)
VL/     Di      08-10           LIN 327     W. Reisig
UE      Mi      08-10           LIN 327     W. Reisig/ J. Desel
(Dieser Halbkurs kann auch auf dem Gebiet 'Theoretische Informatik' 
abgerechnet werden.)

Systematischer Programmtest (Halbkurs)
VL/     Mo      10-12           LIN 015     B. Hohberg
UE      Do      08-10           LIN 015     B. Hohberg/ J. Desel

Objektorientierter Entwurf / Objektorientierte Analyse
(Halbkurs; Kurs Teil II zu C++)
VL      Mo      10-12           LIN 014     E. Holz
        Mi      12-14           LIN 014     E. Holz