This dissertation investigates how a requirements engineer can systematically deduce subsystem requirements specifications from system requirements specifications. A reference catalogue serves as checklist for the initial system decomposition. The approach for requirements decomposition and refinement uses predicate logics, i.e., assumption/guarantee specifications and decomposition patterns, to deduce subsystem requirements from system requirements. Thereby, both functional and non-functional requirements as well as the precise interrelation between the requirements are covered. A process description illustrates the stepwise application of the approach using a concrete artifact model. The results are demonstrated with a running example from the automotive domain and are evaluated in a case study with respect to applicability and usefulness.     «

This dissertation investigates how a requirements engineer can systematically deduce subsystem requirements specifications from system requirements specifications. A reference catalogue serves as checklist for the initial system decomposition. The approach for requirements decomposition and refinement uses predicate logics, i.e., assumption/guarantee specifications and decomposition patterns, to deduce subsystem requirements from system requirements. Thereby, both functional and non-functional...     »

Diese Dissertation untersucht, wie ein Anforderungsingenieur systematisch Subsystemanforderungsspezifikationen aus Systemanforderungsspezifikationen ableiten kann. Ein Referenzkatalog dient als Checkliste für die initiale Systemdekomposition. Der Ansatz zur Dekomposition und Verfeinerung von Anforderungen nutzt prädikatenlogische Abbildungen, genauer Assumption/Guarantee-Spezifikationen und Zerlegungsmuster, um Subsystemanforderungen aus Systemanforderungen abzuleiten. Dabei werden sowohl funktionale als auch nichtfunktionale Anforderungen sowie die präzisen Zusammenhänge der Anforderungen untereinander behandelt. Eine Prozessbeschreibung erläutert die schrittweise Anwendung des Ansatzes unter Verwendung eines konkreten Artefaktmodells. Die Ergebnisse werden an einem laufenden Beispiel aus der Fahrzeugdomäne demonstriert und in einer Fallstudie im Bezug auf Anwendbarkeit und Nutzen evaluiert.     «

Diese Dissertation untersucht, wie ein Anforderungsingenieur systematisch Subsystemanforderungsspezifikationen aus Systemanforderungsspezifikationen ableiten kann. Ein Referenzkatalog dient als Checkliste für die initiale Systemdekomposition. Der Ansatz zur Dekomposition und Verfeinerung von Anforderungen nutzt prädikatenlogische Abbildungen, genauer Assumption/Guarantee-Spezifikationen und Zerlegungsmuster, um Subsystemanforderungen aus Systemanforderungen abzuleiten. Dabei werden sowohl funkt...     »