Home | deutsch  | Legals | 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
Type:Studienarbeit
Date:24.07.2008
Supervisor:

Dr. Ing. Tom Gelhausen

Person in Charge:Mathias Landhäußer
Links:Links_bearbeiten

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.