Home | english  | Impressum | Sitemap | KIT

Automatische Erzeugung von Prüflisten zur spezifikationsbezogenen Beurteilung der Vollständigkeit von UML-Modellen

Automatische Erzeugung von Prüflisten zur spezifikationsbezogenen Beurteilung der Vollständigkeit von UML-Modellen
Typ:Studienarbeit
Datum:24.07.2008
Betreuer:

Dr. Ing. Tom Gelhausen

Bearbeiter:Mathias Landhäußer
Zusatzfeld:

abgeschlossen 

Links:Studienarbeit

Diese Studienarbeit ist in ein größeres Projekt eingebettet, dessen Zielsetzung die automatische Erzeugung von domänenspezifischen Modellen ausgehend von natürlichsprachlichen Spezifikationen ist. Ziel der vorliegenden Arbeit ist es, eine Spezifikation mit SENSE zu verarbeiten und eine Prüfliste zu erzeugen, welche die Überprüfung eines Modells auf seine Vollständigkeit bezüglich der Spezifikation ermöglichen soll.