Themen für studentische Arbeiten
Wir betreuen Abschlussarbeiten in den Themenbereichen Softwarequalität, domänenspezifische Sprachen, Softwarearchitekturen, automatisiertes Testen und Analysieren von Software, modellgetriebene Techniken für die Konstruktion und Analyse von Software, und formale Methoden in der Softwaretechnik (insbesondere Graphlogik & Graphtransformation).
Eine gemeinsame Vision für Abschlussarbeiten an unserem Fachgebiet ist es, einen Beitrag zur Erprobung und Erforschung von Techniken zur fortgeschrittenen Automatisierung der Konstruktion und Qualitätssicherung von daten- und softwareintensiven Systemen zu liefern. Die Medizininformatik wollen wir dabei als einen der wichtigsten Vertreter auf diesem Gebiet fokussieren und spielt voraussichtlich in Ihrer Abschlussarbeit als Anwendungsgebiet eine wichtige Rolle. Im Labor für Softwarequalität am Fachgebiet können Sie zusammen mit den Promovierenden und Postdocs gemeinsam Fallstudien in realitätsnahen Versuchsaufbauten erproben.