Zuverlässige Software entwickeln. Qualität systematisch sicherstellen.
Software bildet die Grundlage digitaler Anwendungen und Infrastrukturen. Ihre Qualität, Korrektheit und Sicherheit müssen daher bereits während der Entwicklung systematisch berücksichtigt werden.
Die Arbeitsgruppe Reliable Software and Distributed Systems an der Bergischen Universität Wuppertal unter Leitung von Malte Mues erforscht Methoden und Tools zur Entwicklung, Analyse und Überprüfung zuverlässiger Softwaresysteme. Schwerpunkte sind automatisierte Softwareverifikation und Ansätze, die domänenspezifische Datenanalysen zugänglicher machen.
Dazu verbindet die Arbeitsgruppe Softwaretechnik und Programmiermethodik mit formalen und dynamischen Analyseverfahren, um Fehler und Sicherheitsschwachstellen automatisiert aufzudecken. Zudem entwickelt sie domänenspezifische Programmiersprachen und Tools, die komplexe Datenanalysen erleichtern und die Korrektheit erzeugter Programme unterstützen.
Ziel ist es, wissenschaftliche Methoden in praktische Lösungen zu überführen, die Softwarequalität zu verbessern, Entwicklungsprozesse zu unterstützen und eine zuverlässige Datenverarbeitung zu ermöglichen.
Weitere Informationen finden sich in den Bereichen Forschung und Lehre.
Weitere Infos über #UniWuppertal:
