Model-Driven Software Engineering of Evolving Software
Context Model-Driven Software Engineering (MDSE) aims at increasing the automation when developing complex software.
Open Topics
Below, you will find an overview of our open topics, most of which can be chosen for either a Bachelor’s or a Master’s thesis.
Please note that the titles are working titles, and the summaries shall give you a rough description of what can be expected from a particular topic. Of course, you will have some freedom to make a thesis to your thesis.
Learning of Configurations of an N-way Model Matching Algorithm
Context Software models such as UML-like diagrams are frequently used to describe a program’s structure and behavior in graph-like structure.
Pattern-based Characterization of Evolving Variable Software
Context Feature annotations are key to represent variability in annotative software product lines.
Merge Conflict Resolutions
Motivation While merging branches in a software project, merge conflicts can occur.
Wilderness Smells
Motivation In programming a “smell” is a design flaw, which does not directly effect a program, but may hemper it in the future.
Feature Model Analysis
Feature models are a compact representation of all the products of a software product line in terms of “features”.
Software Verification in Practice
Software verification entails the algorithmic analysis of programs to mathematically prove properties of their executions - to prove that given certain assumptions, the code is correct and bug-free.