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
- Informationen zur Vorlesung “Software-Entwicklung I” im Wintersemester 2014/15
- Informationen zum Seminar “Software Engineering” (Advanced aspects of functional programming) im Wintersemester 2014/15
- Informationen zum Master-Projekt “Software Engineering” – Programming with eventually consistent data stores im Sommersemester 2014
- Informationen zur Vorlesung “Specification and Verification with Higher-Order Logic” im Sommersemester 2014
- Informationen zur Vorlesung “Fortgeschrittene Aspekte objektorientierter Programmierung” im Sommersemester 2014
- Informationen zur Vorlesung “Programmieren in Anwendungen” im Sommersemester 2014
- Informationen zum Programmierprojekt im Sommersemester 2014
- 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.
