BERGISCHE UNIVERSIT ¨ AT WUPPERTAL
GAUSS-STRASSE 20 42119 WUPPERTAL TELEFAX (0202) 439-2901 TELEFON (0202) 439-0
Fachbereich C
MATHEMATIK UND NATURWISSENSCHAFTEN Mathematik
Prof. Dr. Hans-J ¨urgen Buhl Praktische Informatik / Numerik
e-mail: Juergen.Buhl@math.uni-wuppertal.de
Klausurtermine zum Wintersemester 2003/2004
Klausuren zu den Veranstaltungen des Wintersemesters 2003/2004:
— Programming by Contract, Do., den 19.2.2004, 10.00 bis 11.30 Uhr, HS 10, Einlaß: 9.40 Uhr (Pr¨ufungsnummer f¨ur Studierende der IT-Studieng¨ange: 200/110 f¨ur Computing, 400/110 f¨ur Infor- mation Science und f¨ur Systems and Components; 800/805 f¨ur Master IT [alsSoftwarequalit¨ats- steigerungen durch Zusicherungen; besteht aus Programming by Contract inkl. Klausur und 2 SWS der Veranstaltung Formale Methoden des Folgesemesters inkl. m¨undl. Pr¨ufung am 11.
August 2004; Anmeldung f¨ur den Master IT bitte erst zwischen 31. M¨arz und 4. Juni durchf¨uhren!])
— Internet-Technologien, Mi., den 3.3.2004, 10.00 bis 11.30 Uhr, HS12+14, Einlaß: 9.40 Uhr (Pr¨ufungsnummer f¨ur Studierende der IT-Studieng¨ange: 23)
Nachklausuren zu den Veranstaltungen des Sommersemesters 2003:
— Betriebssysteme und betriebssystemnahe Programmierung, Mi., den 25.2.2004, 10.00 bis 11:30, HS 10, Einlaß: 9.40 Uhr (Pr¨ufungsnummer f¨ur Studierende der IT-Studieng¨ange: 400/124)
— Grundlagen der Rechnerarchitektur / Neuere Entwicklungen in der IT, Do., 26.2.2004, 10.00 bis 11.30 Uhr, HS 14, Einlaß: 9.40 Uhr (Pr¨ufungsnummer f¨ur Studierende der IT-Studieng¨ange: 45) Anmeldungen f¨ur die IT-Bachelor-Pr¨ufungen sind zwischen 15. und 19. Dezember 2003 durch- zuf¨uhren.
Programming by Contract als Teilveranstaltung f¨ur das IT-Master-Modul 800/805 Program- miersprachen und Sprachkonzepteist unter dem Titel Softwarequalit¨atssteigerungen durch Zu- sicherungen in der Zeit vom 31. M¨arz bis 4. Juni anzumelden. Die m¨undliche Pr¨ufung wird am 11. August 2004 stattfinden.
Wuppertal, den 8. Dezember 2003 gez. Prof. Dr. Hans-J¨urgen Buhl
