Dr. Sven J. Körner

Änderungen, die an einer Softwarespezifikation vorgenommen wurden, müssen in allen Modellen der Software umgesetzt werden, um diese konsistent zu halten. Im Rahmen dieser Diplomarbeit soll untersucht werden, inwieweit die Auswirkungen solcher Änderungen auf das berechnungsunabhängige Modell bestimmt werden können. Grundlage hierfür soll der SALE Model eXtractor (SALE MX) sein, mit dessen Hilfe die Spezifikation als Graph dargestellt werden kann. Ziel der Arbeit soll ein ausführbares Programm sein, das zwei Versionen einer Spezifikation als Eingabe erhält, die Änderungen bestimmt und die Auswirkungen selbiger analysiert.