• 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