Title :
Exactly the information your subcontractor needs: DeSyRe — Decomposing system requirements
Author :
Penzenstadler, Birgit
Author_Institution :
Fak. fur Inf., Tech. Univ. Munchen, Munich, Germany
Abstract :
In software systems development, the increasing size and complexity of systems is handled by decomposition. Companies additionally sign up different subcontractors for subsystems. For distributed development and smooth integration, a major challenge is to deduce subsystem specifications from system specifications in order to deliver them to the subcontractors.
Keywords :
formal specification; formal verification; inference mechanisms; DeSyRe; decomposition patterns; distributed development; requirements engineering; smooth integration; software system development; subcontractor information need; systematically derive subsystem requirements; Calculators; Natural languages; Pipelines; Proposals; Routing; Systematics; Vehicles;
Conference_Titel :
Requirements Patterns (RePa), 2011 First International Workshop on
Conference_Location :
Trento
Print_ISBN :
978-1-4577-1020-9
Electronic_ISBN :
978-1-4577-1022-3
DOI :
10.1109/RePa.2011.6046720
