Wissensbasierte Inspektion ((17) E03)

• Fachliche Zuordnung: Theoretische Informatik ; Bild- und Sprachverarbeitung, Computergraphik und Visualisierung, Human Computer Interaction, Ubiquitous und Wearable Computing ; Softwaretechnik und Programmiersprachen
• Förderung: Förderung seit 2019
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 389792660

Projekt E3 untersucht Formalismen und entwickelt visuelle Tools, um komplexe Daten auf effiziente und verständliche Weise zu inspizieren. Im Mittelpunkt stehen deklarative, regelbasierte logische Sprachen, die eine Brücke zwischen Datenanalyse und Wissensrepräsentation bilden. E3 nutzt einen logikbasierten Ansatz für die Analyse von Softwaresystemen, wobei relationale Darstellungen des Quellcodes zur Beschreibung von Software genutzt werden. Mit dem Ziel eines deklarativen, variabilitätsgewahren Software-Verstehens werden wir die effiziente Analyse von Softwareversionen auf Basis relationaler und struktureller Änderungen erforschen. Die Analyse wird durch neue interaktive Visualisierungsansätze unterstützt, deren Effektivität anhand von Fallstudien evaluiert wird.

• DFG-Verfahren: Transregios
• Teilprojekt zu: TRR 248: Grundlagen verständlicher Software-Systeme - für eine nachvollziehbare cyber-physische Welt
• Antragstellende Institution: Universität des Saarlandes
• Teilprojektleiterinnen / Teilprojektleiter: Professor Dr.-Ing. Sven Apel, seit 1/2023; Professor Dr.-Ing. Raimund Dachselt, seit 1/2023; Dr. Sarah Alice Gaggl, bis 12/2022; Professor Dr. Markus Krötzsch; Professor Dr. Antonio Krüger, bis 12/2022