Teaching  (in German)   

	Spring 2009 (Sommersemester 2009)
	Objektorientierte Programmierung in Java (FH Kiel, Mo 08-10, Labor Fr 08-10 und 10-12)
	Fall 2008 (Wintersemester 2008 / 09)
	Softwaretechnik zum Zertifizieren von Systemen ( LMS2-R.Ü1, Mo 08-10, Fr 16-18 )
	Übungen zu Softwaretechnik zum Zertifizieren von Systemen ( 2-std. Ort und Zeit n.V. )
	Spring 2006 (Sommersemester 2006)
	Softwaretechnik zum Zertifizieren von Systemen
	Spring 2005 (Sommersemester 2005)
	Implementierung objektorientierter Sprachen
	Übung zu Implementierung objektorientierter Sprachen
	Seminar: Zuverlässigkeit von Software in sicherheitskritischen Systemen (mit R. v.Hanxleden)
	Fall 2004 (Wintersemester 2004 / 05)
	Probleme beim Bau voll korrekter Übersetzer ( 4-std. Di, Mi 16-18 )
	Übung zu Probleme beim Bau voll korrekter Übersetzer ( 2-std. Do 16-18 )
	Spring 2004 (Sommersemester 2004)
	Softwaretechnik zum Zertifizieren von Systemen
	Übung zu Softwaretechnik zum Zertifizieren von Systemen
	Fall 2003 (Wintersemester 2003 / 04)
	Implementierung objektorientierter Sprachen
	Übung zu Implementierung objektorientierter Sprachen
	Übung zu Informatik 1
	Spring 2003 (Sommersemester 2003)
	siehe Institut für Informatik, Justus-Liebig-Universität Gießen
	Fall 2002 (Wintersemester 2002 / 03)
	siehe Institut für Informatik, Justus-Liebig-Universität Gießen
	Spring 2002 (Sommersemester 2002)
	siehe Institut für Informatik, Justus-Liebig-Universität Gießen
	Fall 2001 (Wintersemester 2001 / 02)
	Softwaretechnik zum Zertifizieren von Systemen ( 4-std. Di, Mi 16-18, SEM-Ü2 )
	Übung zu Softwaretechnik zum Zertifizieren von Systemen ( 2-std. Do 14-16, CAP III-1 )
	Spring 2001 (Sommersemester 2001)
	Probleme beim Bau voll korrekter Übersetzer ( 4-std. Di, Do 16-18, CAP III-1 )
	Übung zu Probleme beim Bau voll korrekter Übersetzer ( 2-std. Mi 16-18, SEM-Ü1 )
	Fall 2000 (Wintersemester 2000 / 01)
	Implementierung objektorientierter Sprachen ( 2-std. )
	Übung zu Implementierung objektorientierter Sprachen ( 2-std. )
	mit M. Hanus: Seminar Internet-Programmiersprachen ( 2-std. )

   The page on previous terms is still under construction !