Home | english  | Impressum | Sitemap | KIT

Automatische Analyse der Auswirkungen von Änderungen an natürlichsprachlichen Spezifikationen auf Softwaremodelle

Automatische Analyse der Auswirkungen von Änderungen an natürlichsprachlichen Spezifikationen auf Softwaremodelle
Typ:Diplomarbeit
Betreuer:

Dr. Sven J. Körner

Bearbeiter:Alexander M. Turek
Zusatzfeld:

abgeschlossen 

Ä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.