Theses

Noah Bühlmann (Advisor: T. Kehrer)

Context Model-Driven Software Engineering (MDSE) aims at increasing the automation when developing complex software.

Context Software models such as UML-like diagrams are frequently used to describe a program’s structure and behavior in graph-like structure.

Context Feature annotations are key to represent variability in annotative software product lines.

Motivation While merging branches in a software project, merge conflicts can occur.

Yael van Dok (Advisors: A. Boll, T. Kehrer)

Motivation In programming a “smell” is a design flaw, which does not directly effect a program, but may hemper it in the future.

Learning programming requires a lot of hands-on training.

Feature models are a compact representation of all the products of a software product line in terms of “features”.

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.