Gegenstand der Softwaretechnik sind Modelle, Techniken, Sprachen und Werkzeuge zur Entwicklung von Softwaresystemen.

Der Lehrstuhl Softwaretechnik forscht zu den folgenden Themenbereichen:

• Programmierung verteilter und nebenläufiger Systeme
• Spezifikation, Analyse und Verifikation von Software
• Generative Softwarekonstruktion
• Entwurf von Softwaresprachen