User: Guest  Login
Original title:
Behvior Modeling as a Means of Requirements Validation 
Year:
2011 
Document type:
Habilitation 
Institution:
Fakultät für Informatik 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Abstract:
Anforderungsanalyse, die erste Phase in jedem Softwareentwicklungsprojekt, ist die Achillesferse der ganzen Entwicklung. Trotz der Existenz vieler formaler Spezifikationstechniken bleibt die natürliche Sprache das Mittel der Wahl für das Aufschreiben der Anforderungen. Das führt dazu, dass die Anforderungsdokumente häufig unvollständig und inkonsistent sind. Die vorliegende Arbeit zeigt, wie Computerlinguistische Methoden eingesetzt werden können, um Anforderungstexte in formalere Modelle zu übe...    »
 
Oral examination:
23.03.2011 
Last change:
25.04.2012