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.
Principal Investigators
