In dieser Arbeit wird ein Ansatz zur Formalisierung von Anforderungen entwickelt, der informelle Anforderungen schrittweise in eine formalere Form bringt (sodass sie präziser formuliert sind und Konsistenzsicherung leichter ausgeführt werden können) und dabei die Verständlichkeit der Anforderungen erhält (sodass die Anforderungen verständlich bleiben und validiert werden können). Im Kern besteht der Ansatz darin, das den Anforderungen zugrundeliegende Denkmodell zu identifizieren und formal zu definieren. Darauf aufbauend wird eine für die im Requirements Engineering anfallenden Aufgaben (insbesondere Vervollständigung, Konsistenzsicherung, Validierung) geeignete semiformale Darstellungsform des Modells definiert. Eine begleitende Formalisierungsmethodik beschreibt die Arbeitsschritte, mit denen die Anforderungen entsprechend modelliert werden.    «

In dieser Arbeit wird ein Ansatz zur Formalisierung von Anforderungen entwickelt, der informelle Anforderungen schrittweise in eine formalere Form bringt (sodass sie präziser formuliert sind und Konsistenzsicherung leichter ausgeführt werden können) und dabei die Verständlichkeit der Anforderungen erhält (sodass die Anforderungen verständlich bleiben und validiert werden können). Im Kern besteht der Ansatz darin, das den Anforderungen zugrundeliegende Denkmodell zu identifizieren und formal zu d...    »

In this work a method for formalizing requirements was developed, that gradually brings informal requirements in a more formal form (so that they are formulated more exactly and consistency protection can be easier explained) and that still conserves the intelligibility of the requirements (so that the requirements remain understandable and validateable). In the core the approach consists in: (1) identifying the mental model underlying the requirements, and formally defining it; (2) developing a semi-formal representation of that model which suits the various needs in requirements engineering (especially consistency, completeness, validation); (3) developing a stepwise methodology that transforms informal requirements into the semi-formal representation.     «

In this work a method for formalizing requirements was developed, that gradually brings informal requirements in a more formal form (so that they are formulated more exactly and consistency protection can be easier explained) and that still conserves the intelligibility of the requirements (so that the requirements remain understandable and validateable). In the core the approach consists in: (1) identifying the mental model underlying the requirements, and formally defining it; (2) developing...    »