• DocumentCode
    1504557
  • Title

    Restructuring requirements specifications

  • Author

    Russo, A. ; Nuseibeh, B. ; Kramer, J.

  • Author_Institution
    Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
  • Volume
    146
  • Issue
    1
  • fYear
    1999
  • fDate
    2/1/1999 12:00:00 AM
  • Firstpage
    44
  • Lastpage
    53
  • Abstract
    Describes the restructuring of multi-perspective requirements specifications to facilitate the identification and analysis of inconsistencies and the management of change. A partial, heterogeneous and reasonably large requirements specification from a NASA project is analysed and decomposed into a structure of viewpoints, where each viewpoint encapsulates partial requirements of some system components described in the specification. Relationships between viewpoints are identified and include not only the interactions explicitly stated in the requirements but also some implicit and potentially problematic interdependencies. The restructuring process and a first informal analysis of the resulting relationships enable the detection of inconsistencies and the definition of some interesting domain-dependent consistency rules. It is believed that this restructuring into viewpoints also facilitates requirements understanding through partitioning, and requirements maintenance and evolution through explicit identification of the inter-viewpoint relationships
  • Keywords
    formal specification; management of change; NASA project; change management; domain-dependent consistency rules; inconsistencies identification; inter-viewpoint relationships identification; interdependencies; multi-perspective requirements specifications restructuring; partitioning; requirements evolution; requirements maintenance; requirements understanding; viewpoint structure;
  • fLanguage
    English
  • Journal_Title
    Software, IEE Proceedings -
  • Publisher
    iet
  • ISSN
    1462-5970
  • Type

    jour

  • DOI
    10.1049/ip-sen:19990156
  • Filename
    762685