Ludwig-Maximilians-Universität München, Institut für Informatik,
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik

Lehrveranstaltungen

Veranstaltungen im Sommersemester 2007

Vorlesungen und Übungen

• Informatik IV (Kröger - 4+2)
• Projekt-Management (Wirsing - 2+2)
• Web Engineering (Knapp, Koch - 2+1)
• Formale objektorientierte Softwareentwicklung (Hennicker - 3+2)
• Modellierung, Spezifikation, Verifikation (Elite Graduate Program Software Engineering) (Wirsing - 2+2)
• Objektorientierung in der Praxis (Wehler - 3)

Praktika

• Software-Entwicklungspraktikum (Wirsing, Haggenmüller)

Seminar

• Hauptseminar (Wirsing)

Oberseminare und Arbeitsgemeinschaften

• Informatik-Oberseminar "Methoden und Theorie der Software-Entwicklung" (Wirsing, Kröger, Hennicker)
• Informatik-Oberseminar "Sprache, Information und Logik (SIL)" (Bry, Kröger, Schwichtenberg)
• Kolloquium des Graduiertenkollegs: Informatik und Logik (Schwichtenberg, Wirsing, Bauer, Broy, Nipkow)
• Informatik-Kolloquium

Veranstaltungen im Wintersemester 2006/2007

Vorlesungen und Übungen

• Methoden des Software-Engineering (Wirsing)
• Temporale Logik (Kröger)
• Entwurf und Implementierung paralleler Programme (Hennicker)
• Semantik von Programmiersprachen (Knapp)
• Project Management and Quality Assurance (Elite Graduate Program Softwareengineering) (Wirsing)

Praktika

• Programmierpraktikum (Wirsing, Rauschmayer, Barth)

Seminare

• Hauptseminar (Wirsing)

Oberseminare und Arbeitsgemeinschaften

• Informatik-Oberseminar "Methoden und Theorie der Software-Entwicklung" (Wirsing, Kröger, Hennicker)
• Informatik-Oberseminar "Sprache, Information und Logik (SIL)" (Bry, Kröger, Schwichtenberg)
• Kolloquium des Graduiertenkollegs: Informatik und Logik (Schwichtenberg, Wirsing, Bauer, Broy, Nipkow)
• Informatik-Kolloquium