Knowledge-Driven Inspection ((17) E03)

• Subject Area: Theoretical Computer Science ; Image and Language Processing, Computer Graphics and Visualisation, Human Computer Interaction, Ubiquitous and Wearable Computing ; Software Engineering and Programming Languages
• Term: since 2019
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 389792660

Project E3 studies computational formalisms and develops suitable visual systems for inspecting informational resources in efficient and understandable ways. Central to our approach are declarative rule-based logical languages that act as a bridge between data analysis and knowledge representation. E3 will extend its logic-based approach to the analysis of software systems, specifically, using data describing the software (relational representations of source code). The analysis will be supported by novel interactive visualisations, and their effectiveness will be studied using real-world case studies. We will investigate reasoning about different software versions, and interactive visual tool support, towards declarative, variability-aware software understanding.

• DFG Programme: CRC/Transregios
• Subproject of: TRR 248: Foundations of Perspicuous Software Systems - Enabling Comprehension in a Cyber-Physical World
• Applicant Institution: Universität des Saarlandes
• Project Heads: Professor Dr.-Ing. Sven Apel, since 1/2023; Professor Dr.-Ing. Raimund Dachselt, since 1/2023; Dr. Sarah Alice Gaggl, until 12/2022; Professor Dr. Markus Krötzsch; Professor Dr. Antonio Krüger, until 12/2022