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

  • Typ:Studienarbeit
  • Datum:24.07.2008
  • Betreuung:

    Dr. Ing. Tom Gelhausen

  • Bearbeitung: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.