DocumentCode
1846609
Title
Exactly the information your subcontractor needs: DeSyRe — Decomposing system requirements
Author
Penzenstadler, Birgit
Author_Institution
Fak. fur Inf., Tech. Univ. Munchen, Munich, Germany
fYear
2011
fDate
29-29 Aug. 2011
Firstpage
1
Lastpage
10
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/RePa.2011.6046720
Filename
6046720
Link To Document