Dr. Ing. Tom Gelhausen

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.