
Model-Based Requirements Engineering
Dieses Buch bietet eine praktische Einführung in die modellbasierte Anforderungserhebung und -verwaltung, indem es eine Reihe von Sichten beschreibt, die die Grundlage für diesen Ansatz bilden. Diese Sichten berücksichtigen jede einzelne Anforderung im Hinblick auf ihre Beschreibung, geben ihr aber auch eine Bedeutung, indem sie in den richtigen „Kontext“ gestellt werden. Eine Anforderung, die in einen Kontext gestellt wurde, wird als „Anwendungsfall“ bezeichnet und kann entweder auf Stakeholdern oder Hierarchieebenen in einem System basieren. Jeder Anwendungsfall muss dann analysiert und validiert werden, indem eine Kombination von Szenarien und formalen mathematischen und logikbasierten Beweisen definiert wird, die die für sicherheits- und unternehmenskritische Systeme erforderliche Strenge bieten.
Das Buch befasst sich auch mit der entscheidenden Frage der Modellierungsnotationen für die Anforderungsmodellierung und enthält Diskussionen über die Verwendung und Anwendung von SysML, Text- und Tabellenformaten.
Pragmatische Fragen wie die Anpassung des Ansatzes für kurze, unkritische Projekte bis hin zu umfangreichen, unternehmenskritischen Projekten werden erörtert, um zu zeigen, wie die im Buch vorgestellten Techniken auf reale Projekte und Systeme angewendet werden können. Der Einsatz mehrerer Werkzeuge wird ebenfalls erörtert, zusammen mit Beispielen dafür, wie ein effektiver Prozess zu einer Realisierung mit einem beliebigen Werkzeug führen kann.