• DocumentCode
    2620255
  • Title

    Systematic Development of Requirements Documentation for General Purpose Scientific Computing Software

  • Author

    Smith, Spencer

  • Author_Institution
    Dept. of Comput. & Software, McMaster Univ., Hamilton, Ont.
  • fYear
    2006
  • fDate
    11-15 Sept. 2006
  • Firstpage
    209
  • Lastpage
    218
  • Abstract
    This paper presents a methodology for developing the requirements for general purpose scientific computing software. The first step in the methodology is to determine the general purpose scientific software of interest. The second step consists of a commonality analysis on this identified family of general purpose tools to document the terminology, commonalities and variabilities. The commonality analysis is then refined in the third step into a family of specific requirements documents. Besides fixing the variabilities and their binding times, each specific requirements document also shows the relative importance of the different nonfunctional requirements, for instance using the analytic hierarchy process (AHP). The new methodology addresses the challenge of writing validatable requirements by including solution validation strategies as part of the requirements documentation. To illustrate the methodology an example is shown of a solver for a linear system of equations
  • Keywords
    formal specification; formal verification; system documentation; nonfunctional requirements; requirements documentation; scientific computing software; systematic development;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Requirements Engineering, 14th IEEE International Conference
  • Conference_Location
    Minneapolis/St. Paul, MN
  • ISSN
    1090-705X
  • Print_ISBN
    978-0-7695-2555-6
  • Type

    conf

  • DOI
    10.1109/RE.2006.61
  • Filename
    1704064