Software Engineering
Document Actions

Integrating Data Visualization in the Stalin-Framework (Team-Projekt)

The Stalin-Framework is an extensible architecture for model checking and software analysis, developed at the Chair of Software Engineering. It provides an environment to implement algorithms as Eclipse plugins working on models of various graphtypes. The plugins and their models are managed by the framework. The goal of this project is to design and implement a graph-visualization for those models and integrate it to the frontend of the Stalin-Framework. Additionally, in order to enhance usability of the framework in combination with the new visualization, minor changes to the framework have to be made e.g. introducing a build-in editor and the like.