Formalisierung von Anforderungen durch Dokumentanalyse

软件工程中的严重问题（Gravierende problem），软件工程中的严重问题（Gravierende problem），软件工程中的严重问题（dass die Anforderungen and das zu bauende System），软件工程中的严重问题（blicherweise in natlicher Sprache formululiert），软件工程中的严重问题（blicherweise in natricher Sprache formululiert）。2 . Die Autoren der Anforderungsdokumente bemerken diese problem ofnight, weil natrichhsprachliche Texte kaum zweifelsfrei auf Unvollständigkeiten und widerspr<s:1> chlichkeiten <s:1> berpriten fbar sind。Unvollständige and unpräzise formulerte anforderunsdokumente f<e:1>, dass die Softwareentwickler die Anforderungen fehlinterpretieren。Die Fehler bleiben lange unmerkt和werden werden都是在集成软件工具栏中测试的。die fhrt dazu, dass die not endigen Änderungen extreme aufwändig and teuer werden。Das Ziel des beantragten project best darin, Methoden und Techniken zu entwickeln, die möglichst frh im Projektverlauf (d.h, während der Anforderungsanalyse) natlichsprachliche Dokumente in formale Modelle umsetzen, mit Ziel, ass dabei Defizite in Dokumenten erkant werden。本文的主要研究方向为：自动提取相关信息的模型文档，自动提取相关信息的模型文档，自动提取相关信息的模型，自动提取相关信息的模型，自动提取相关信息的模型，自动提取相关信息的模型，自动提取相关信息的模型，自动提取相关信息的模型。德语德语：德语：德语：德语：德语：德语：德语：德语：德语：德语1 .德国工业与工业研究所(德国工业与工业研究所，德国工业与工业研究所，德国工业与工业研究所，德国工业与工业研究所，德国工业与工业研究所，德国工业与工业研究所，德国工业与工业研究所，德国工业与工业研究所，德国工业与工业研究所，德国工业与工业研究所，德国工业与工业研究所，德国工业与工业研究所。Stattdessen soll uneingeschränkte naterichsche sprachersche分析师werden，因此，在工业上，德国的文件和评论。

Gravierende Probleme von Softwareprojekten resultieren bekanntlich aus der Tatsache, dass die Anforderungen an das zu bauende System, üblicherweise in natürlicher Sprache formuliert, in aller Regel Interpretationsspielraum zulassen und inhaltlich unvollständig, oft auch widersprüchlich sind. Die Autoren der Anforderungsdokumente bemerken diese Probleme oft nicht, weil natürlichsprachliche Texte kaum zweifelsfrei auf Unvollständigkeiten und Widersprüchlichkeiten überprüfbar sind. Unvollständige und unpräzise formulierte Anforderungsdokumente führen dazu, dass die Softwareentwickler die Anforderungen fehlinterpretieren. Die Fehler bleiben lange unbemerkt und werden erst beim Test und in der Integration der Software sichtbar. Dies führt dazu, dass die notwendigen Änderungen extrem aufwändig und teuer werden. Das Ziel des beantragten Projekts besteht darin, Methoden und Techniken zu entwickeln, die möglichst früh im Projektverlauf (d.h., während der Anforderungsanalyse) natürlichsprachliche Dokumente in formale Modelle umsetzen, mit dem Ziel, dass dabei Defizite in Dokumenten erkannt werden. Die Hauptaufgabe besteht dabei in automatischer Extraktion relevanter Informationen aus dem Dokument, dem Erkennen von Defiziten in natürlichsprachlichen Anforderungsdokumenten, der Konstruktion des formalen Modells anhand extrahierter Informationen, sowie der Validierung des konstruierten Modells. Der zu entwickelnde Ansatz soll weitgehend automatisiert sein. Um die industrielle Anwendbarkeit des zu entwickelnden Analyseverfahrens zu gewährleisten, werden im Projekt keine speziellen Beschränkungen der Sprache zum Aufschreiben von Anforderungen angenommen. Stattdessen soll uneingeschränkte natürliche Sprache analysiert werden, so wie sie in industriellen Anforderungsdokumenten vorkommt.