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

• Wintersemester 2019/20:
  • Vorlesung “Replication and Consistency”
  • Master Projekt: Software Engineering
  • Vorlesung “Programmieren in C”
  • Vorlesung “Algorithmen und Datenstrukturen”
• Sommersemester 2019:
  • Vorlesung “Programming Distributed Systems”
  • Vorlesung “Programmieren in Anwendungen”
  • Master Seminar “Software-Engineering”
  • Programmierprojekt
• Wintersemester 2018/19:
  • Vorlesung “Grundlagen der Programmierung” (ehemals “Software-Entwicklung I”)
  • Vorlesung “Programmieren in C”
  • Vorlesung “Compiler and Language-Processing Tools”
  • Master Projekt: Software Engineering (Thema: “Robust distributed systems”)
• Sommersemester 2018:
  • Vorlesung “Programming Distributed Systems”
  • Vorlesung “Programmieren in Anwendungen”
  • Veranstaltung “Training für Programmierwettbewerb”
  • Master Seminar “Software-Engineering”
  • Programmierprojekt
• Wintersemester 2017/18:
  • Vorlesung “Software-Entwicklung I”
  • Master Project: Software Engineering
  • Bachelor and Master Seminar “Software-Engineering”
• 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.