In this thesis a methodology for modeling the usage behavior of multi-functional systems is presented. It focuses on the seamless transition from informally (textually) given functional requirements to formal models of the system behaviour from a black box perspective. First the functionality is structured hierarchically and dependencies between single functions are captured. Next, the single functions are formally modelled and combined on basis of their dependencies. In order to realize feature interaction, the modular specifications are adapted in a systematic way. The result is a formal model of the usage behaviour.     «

In this thesis a methodology for modeling the usage behavior of multi-functional systems is presented. It focuses on the seamless transition from informally (textually) given functional requirements to formal models of the system behaviour from a black box perspective. First the functionality is structured hierarchically and dependencies between single functions are captured. Next, the single functions are formally modelled and combined on basis of their dependencies. In order to realize featu...     »

In dieser Arbeit wird eine Methodologie zur Modellierung des Nutzerverhaltens multi-funktionaler Systeme präsentiert. Sie behandelt den Übergang von informellen (textuell gegebenen) funktionalen Anforderungen zu formalen Modellen des Systemverhaltens aus Nutzersicht. Zunächst wird die Funktionalität hierachisch strukturiert und es werden Abhängigkeiten zwischen einzelnen Funktionen erfasst. Als nächstes werden die einzelnen Funktionen formal modelliert und auf Grundlage Ihrer gegenseitigen Abhängigkeiten kombiniert. Um das Zusammenspiel der Funktionalitäten zu realisieren, werden die modularen Spezifikationen systematisch angepasst. Das Ergebnis ist ein formales Modell des Nutzerverhaltens.     «

In dieser Arbeit wird eine Methodologie zur Modellierung des Nutzerverhaltens multi-funktionaler Systeme präsentiert. Sie behandelt den Übergang von informellen (textuell gegebenen) funktionalen Anforderungen zu formalen Modellen des Systemverhaltens aus Nutzersicht. Zunächst wird die Funktionalität hierachisch strukturiert und es werden Abhängigkeiten zwischen einzelnen Funktionen erfasst. Als nächstes werden die einzelnen Funktionen formal modelliert und auf Grundlage Ihrer gegenseitigen Abhä...     »