Institut für Programmiermethodik und Compilerbau

• 1: Lehre.
  • 1.1: Abschlussarbeiten und Praktika.
  • 1.2: Sommersemester 2013.
    • 1.2.1: Paradigmen der Programmierung.
    • 1.2.2: Regelbasierte Programmierung.
    • 1.2.3: Requirements Engineering.
    • 1.2.4: Software Engineering in der Praxis.
    • 1.2.5: Softwaretechnik II.
    • 1.2.6: Übersetzung neuerer Sprachkonzepte.
    • 1.2.7: Formale Spezifikation in der Praxis am Beispiel des Werkzeugs Core ASM.
    • 1.2.8: Formale Spezifikationssprachen und ihre Semantik.
    • 1.2.9: Regelbasierte und Constraint-Programmierung.
    • 1.2.10: Liga der außergewöhnlichen Programmiersprachen.
    • 1.2.11: Logikbasierte Programmiersprachen.
    • 1.2.12: Computational Psychology.
    • 1.2.13: Entwicklung konkreter Anwendungen nach ausgewählten Prinzipien des Software Engineering.
    • 1.2.14: Regelbasierte und Constraint-Programmierung.
    • 1.2.15: Softwaregrundprojekt (Sopra).
  • 1.3: Wintersemester 2012/2013.
  • 1.4: Regelmäßig angebotene Lehrveranstaltungen.
  • 1.5: Frühere Lehrveranstaltungen.
• 2: Forschung.
• 3: Mitarbeiter.
• 4: Kontakt.