AG Softwaretechnik
Prof. Dr. Arnd Poetzsch-Heffter

Gegenstand der Softwaretechnik sind Modelle, Techniken, Sprachen und Werkzeuge zur Entwicklung von Softwaresystemen. Die AG Softwaretechnik konzentriert sich derzeit auf folgende Themenbereiche:

• Objektorientierte, komponentenbasierte und nebenläufige Programmierung
• Spezifikation, Analyse und Verifikation von Software
• Generative Softwarekonstruktion
• Entwurf von Softwaresprachen

Informationen zur Lehre

• Sommersemester 2017:
  • Vorlesung “Compiler and Language-Processing Tools”
  • Vorlesung “Logik”
  • Vorlesung “Programmieren in Anwendungen”
  • Veranstaltung “Training für Programmierwettbewerb”
  • Master Seminar “Software-Engineering”
  • Programmierprojekt
• Wintersemester 2016/17:
  • Vorlesung “Software-Entwicklung I”
  • Master Project: Distributed Information Systems
• Informationen zum Oberseminar

Offene Stellen

Die AG Softwaretechnik hat zur Zeit mehrere offene Stellen für Studierende und wissenschaftliche Mitarbeiter

Sprechzeiten

Bitte konsultieren Sie die Seite der entsprechenden Person hier.