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
Link To Document