User: Guest  Login
Original title:
Behvior Modeling as a Means of Requirements Validation
Author:
Kof, Leonid
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...     »
WWW:
https://mediatum.ub.tum.de/?id=1101270
Oral examination:
23.03.2011
Last change:
25.04.2012
 BibTeX