User: Guest  Login
Original title:
DeSyRe - Decomposition of Systems and their Requirements 
Original subtitle:
Transition from System to Subsystem using a Criteria Catalogue and Systematic Requirements Refinement 
Translated title:
Dekomposition von Systemen und ihren Anforderungen 
Translated subtitle:
Transition von System auf Subsystem mittels eines Kriterienkatalogs und systematischer Anforderungsverfeinerung 
Year:
2011 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Broy, Manfred (Prof. Dr. Dr. h.c.) 
Referee:
Broy, Manfred (Prof. Dr. Dr. h.c.); Paech, Barbara (Prof. Dr.) 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Abstract:
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...    »
 
Translated abstract:
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 funk...    »
 
Oral examination:
20.01.2011 
File size:
9353508 bytes 
Pages:
182 
Last change:
02.02.2011