Teaching
Axel Rauschmayer
This semester (Winter 2010/2011): Formale Spezifikation und Verifikation.
Earlier classes:
- Summer 2010: Proseminar "Nebenläufige Programmierung", Modell-getriebenes Software-Engineering.
- Summer 2008: Proseminar "Nebenläufige Programmierung"
- Winter 2007/2008: Grundlagen der Systementwicklung
- Summer 2007: Softwareentwicklungspraktikum
- Winter 2006/2007: Programmierpraktikum
- Summer 2006: Informatik II
- Winter 2005/2006: Grundlagen der Systementwicklung
- Summer 2005: Softwareentwicklungspraktikum – Web Services
- Winter 2004/2005: Temporale Logik und Zustandssysteme
- Winter 2003/2004: Programmierpraktikum: Malefiz
- Summer 2003: Softwareentwicklungspraktikum - Spiel mit mobilen Agenten
- Winter 2002/2003: Proseminar "Grundlagen höherer Programmiersprachen", Hauptseminar: Aspektorientierte Programmierung und Softwareentwicklung, Grundlagen der Systementwicklung