Friedrich Schiller University Jena (FSU)
Department of Mathematics & Computer Science, Institute of Computer Science
Programming Languages and Compilers, Prof. em. J.F.H. Winkler
Jürgen F. H. WINKLER
Courses
2001 -
- Winter 2008/2009
Mechanical Program Verification
(at ELTE in Budapest)
- Winter 2007/2008
Programmiersprachen
[Programming Languages]
Objektorientierte Programmierung
[Object-Oriented Programming]
- Spring 2007
Compilerbau
[Compiler Construction]
Nebenläufige Programmierung
[Concurrent Programming]
- Winter 2006/2007
Programmiersprachen [Programming Languages]
Objektorientierte Programmierung [Object-Oriented Programming]
Mechanical Program Verification (at ELTE in Budapest)
- Spring 2006
Compilerbau [Compiler Construction]
Nebenläufige Programmierung [Concurrent Programming]
- Winter 2005/2006
Programmiersprachen [Programming Languages]
Objektorientierte Programmierung [Object-Oriented Programming]
- Spring 2005
Compilerbau [Compiler Construction]
Informatik 2 [Introduction to Programming 2]
- Winter 2004/2005
Programmiersprachen [Programming Languages]
Informatik 1 [Introduction to Programming 1]
- Spring 2004
Compilerbau [Compiler Construction]
Nebenläufige Programmierung [Concurrent Programming]
- Winter 2003/2004
Programmiersprachen [Programming Languages]
Objektorientierte Programmierung [Object-Oriented Programming]
- Spring 2003
Compilerbau [Compiler Construction]
Nebenläufige Programmierung [Concurrent Programming]
Seminar: Automatic Program Proving
(agenda)
- Winter 2002/2003
Programmiersprachen [Programming Languages]
Objektorientierte Programmierung [Object-Oriented Programming]
- Spring 2002
Compilerbau [Compiler Construction]
Seminar: C# - The New Programming Language
(agenda)
- Winter 2001/2002
Programmiersprachen [Programming Languages]
Objektorientierte Programmierung [Object-Oriented Programming]
Seminar: The Programming Language Ada. (With C. Freining and H. Toparkus)
- Spring 2001
Compilerbau [Compiler Construction]
Höhere Programmierung [Introduction to Programming]
(agenda)
1996 - 2000 top of page
- Winter 2000/2001
Programmiersprachen [Programming Languages]
Nebenläufige Programmierung [Concurrent Programming]
- Spring 2000
Compilerbau [Compiler Construction]
Objektorientierte Programmierung [Object-Oriented Programming]
- Winter 1999/2000
Programmiersprachen [Programming Languages]
Nebenläufige Programmierung [Concurrent Programming]
- Spring 1999
Compilerbau [Compiler Construction]
Objektorientierte Programmierung [Object-Oriented Programming]
- Winter 1998/1999
Programmiersprachen [Programming Languages]
Nebenläufige Programmierung [Concurrent Programming]
- Spring 1998
Compilerbau [Compiler Construction]
Objektorientierte Programmierung [Object-Oriented Programming]
- Winter 1997/1998
Programmiersprachen [Programming Languages]
Nebenläufige Programmierung [Concurrent Programming]
- Spring 1997
Compilerbau [Compiler Construction]
Objektorientierte Programmierung [Object-Oriented Programming]
- Winter 1996/1997
Programmiersprachen [Programming Languages]
Seminar: Object-Oriented Design Patterns
- Spring 1996
Programmiersprachen [Programming Languages]
Objektorientierte Programmierung [Object-Oriented Programming]
1991 - 1995 top of page
- Winter 1995/1996
Informatik 1 & 2 [Introduction to Programming 1 & 2]
Zuverlässige und korrekte SW [Reliable and Correct SW]
- Spring 1995
Informatik 2 [Introduction to Programming 2]
Softwaretechnik [Software Engineering]
Objektorientierte SW [Object-Oriented SW]
- Winter 1994/1995
Informatik 1 [Introduction to Programming 1]
Zuverlässige und korrekte SW [Reliable and Correct SW]
Seminar: Software-Metriken [Software Metrics]
- Spring 1994
Softwaretechnik [Software Engineering]
Objektorientierte SW [Object-Oriented SW]
- Winter 1993/1994
Grundlagen der Programmiertechnik [Foundations of Programming]
- Spring 1993
- Winter 1992/1993
Compilerbau [Compiler Construction]
Seminar: Objektorientierte Programmierung [Object-Oriented Programming]
1986 - 1990 top of page
1981 - 1985 top of page
top of page