Master Theses

Graphical Debugging of QVT Relations using Transformation Nets

This work has been finished in December 2009. Model transformations (MT) play a key role in the Model Driven Engineering (MDE) paradigm, leading to the standardization of the Query/View/Transformation (QVT) model transformation language by the Object Management Group (OMG).

Visual Design and Analysis Support for Answer Set Programming

This work has been finished in February 2011. Abstract and paper may be found in our publication database. Download the poster

Adaptivität in e-Learning Plattformen - Evaluation von Open Source Produkten und Implementierung einer Adaptierungskomponente im Rahmen einer Fallstudien

This work has been finished in July 2005. Diese Arbeit beschäftigt sich mit e-Learning und e-Learning Plattformen. Das Ziel ist die geeignetste Plattform zu eruieren, um diese anschließend zu erweitern. Im Laufe der Arbeit werden neun e-Learning Systeme vorgestellt und evaluiert.

Visualization of Evolving Graphical Models and Diagrams in the Context of Model Review

Source code review tools are part of many large scale software development processes. An example for such a code review tool is Gerrit which is used in popular open source projects such as the Android Open Source Project, Eclipse, LibreOffice and many others.

An Adaptable OCL Engine for validating Models in different Tool Environments

This work has been finished in September 2013. Abstract and paper may be found in our publication database.

The Diversity and Penetration of EDI in Austria: An Empirical Analysis

This work has been finished in February 2011. Electronic Data Interchange (EDI) is still one of the key challenges of today’s businesses. Currently, there exist several ways of handling EDI between companies.

Metamodell-basierte Integration von Web Modellierungssprachen

This work has been finished in October 2008. Web-Anwendungen haben sich über die letzten Jahrzehnte stark verändert. Die erste Generation zielte auf die einfache Bereitstellung von Informationen mittels statischer Websites. Durch die zweite Generation wurde eine neue Dimension eröffnet, wobei Web-Anwendungen nicht mehr nur als Mittel zur Informationsdarstellung gesehen werden, sondern auch vielfältige Dienste zur Verfügung stellen.

Model Driven Architecture in der Praxis - Evaluierung von aktuellen Werkzeugen und Fallstudie

This work has been finished in March 2005. Model Driven Architecture (MDA) wird von der Object Management Group (OMG) stark vorangetrieben und hält Einzug in die Softwareentwicklung. MDA wird als nächster Schritt des Formalisierungs- und Abstraktionsprozesses von Software gesehen, etwa wie die Ablöse von Assembler durch Hochsprachen.

Moderne Softwareentwicklungsumgebungen – Evaluierung Java-basierter Ansätze

This work has been finished in March 2007. In den letzten Jahrzehnten durchlief die Softwareentwicklung eine eindrucksvolle Evolution. Anfang der 1960er Jahre begann die kommerzielle Softwareentwicklung mit primitiven Assemblerinstruktionen, kurz darauf folgten bereits die ersten Hochsprachen.

Constraints and Models@Runtime for EMF Profiles

Modeling languages play an essential part in the software engineering process. While UML is currently the primarily used language for this purpose, others such as Domain-Specific Modeling Languages (DSMLs) are catching up.