Aktuell am Fachgebiet bearbeitete Masterarbeiten
- Modelchecking zeitbehafteter Graphtransformationssysteme in Groove (Edgar Näther)
- Eine Studie zur Nutzerzentrierung bei Innovation und Softwareentwurf (Christoph Mecklenburg)
- Empowering stakeholders to manipulate formal models using structured natural language representations (Daniel Eichler)