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 :
بازگشت