DocumentCode :
2640573
Title :
Automating scenario-driven structured requirements engineering
Author :
Zhu, Hong ; Jin, Lingzi
Author_Institution :
Sch. of Comput. & Math. Sci., Oxford Brookes Univ., UK
fYear :
2000
fDate :
2000
Firstpage :
311
Lastpage :
316
Abstract :
Scenario analysis is a vehicle for separating concerns in the elicitation of users´ requirements. It is also a means of requirements validation and verification. In the practical application of the method, a number of key activities must be supported by automated tools, which include: (a) the analysis of consistency among scenarios, (b) the analysis of the consistency and completeness of a set of scenarios with respect to requirements models, (c) the synthesis of requirements models from a set of scenarios, and (d) the generation of scenarios from requirements models for requirements validation. This paper presents an automatic toolkit that supports these activities. It adapts the idea of scenario analysis (originally proposed in object-oriented analysis) to the structured analysis method
Keywords :
computer aided software engineering; formal specification; formal verification; user centred design; automated tools; automatic toolkit; completeness analysis; consistency analysis; object-oriented analysis; requirements models; requirements validation; requirements verification; scenario analysis; scenario generation; scenario-driven structured requirements engineering; separation of concerns; structured analysis method; user requirements elicitation; Automotive engineering; Bridges; Design engineering; Information analysis; Mathematical model; Natural languages; Proposals; Software tools; Terminology; Vehicles;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Software and Applications Conference, 2000. COMPSAC 2000. The 24th Annual International
Conference_Location :
Taipei
ISSN :
0730-3157
Print_ISBN :
0-7695-0792-1
Type :
conf
DOI :
10.1109/CMPSAC.2000.884740
Filename :
884740
Link To Document :
بازگشت