Institut für Programmiermethodik und Compilerbau
- 1:
Lehre.- 1.1:
Wintersemester 2009/2010.- 1.1.1:
Constraint-Programmierung. - 1.1.2: Grundlagen des Übersetzerbaus.
- 1.1.3: Softwaretechnik.
- 1.1.4: Aktuelle Themen des Requirements Engineering.
- 1.1.5: Konzepte funktionaler Programmiersprachen.
- 1.1.6: Formale Spezifikation mit ASMs.
- 1.1.7: Constraint-Programmierung Praxis.
- 1.1.8: Experimentelles Softwareengineering.
- 1.1.1:
- 1.2: Sommersemester 2009.
- 1.3: Wintersemester 2008/2009.
- 1.4: Regelmäßig angebotene Lehrveranstaltungen.
- 1.5: Frühere Lehrveranstaltungen.
- 1.6: Themen für Diplomarbeiten, Masterarbeiten und Individualpraktika.
- 1.1:
- 2: Forschung.
- 3: Mitarbeiter.
- 4: Kontakt.
Lehrveranstaltungen im WS 2009/2010
Vorlesungen
- Constraint Programmierung
- Embedded Softwareengineering im Bereich Automotive (externer Dozent)
- Grundlagen des Übersetzerbaus
- Management von Softwareprojekten (externer Dozent)
- Softwaretechnik 1