DocumentCode :
1943636
Title :
Pushing Requirements Changes through to Changes in Specifications
Author :
Lin, Lan ; Poore, Jesse H.
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., Univ. of Tennessee, Knoxville, TN
fYear :
2008
fDate :
17-19 June 2008
Firstpage :
289
Lastpage :
296
Abstract :
Requirements changes can occur both during and after a phase of development. It is difficult and intensive work to integrate requirements changes made after specification is completed. Sequence-based specification was developed to convert ordinary functional requirements into complete, consistent, and traceably correct specifications through a constructive process. Algorithms for managing requirements changes meet a very great need in field application of the sequence-based specification method. In this paper we propose to capture requirements changes as a series of atomic changes in specifications, and present algorithms for managing these changes. The algorithms are built into the tool support with which users are able to push requirements changes through to changes in specifications, maintain old specifications over time and evolve them into new specifications with the least amount of human interaction and rework. All our change algorithms are supported by rigorous mathematical formulation and proof of correctness.
Keywords :
knowledge representation; mathematical analysis; atomic changes; human interaction; mathematical formulation; pushing requirements; sequence-based specification method; Application software; Automotive components; Computer errors; Formal specifications; Humans; Instruments; Prototypes; Software engineering; Software quality; USA Councils; Mealy machine; Requirements change management; automaton; changing state diagrams; sequence-based specification;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Theoretical Aspects of Software Engineering, 2008. TASE '08. 2nd IFIP/IEEE International Symposium on
Conference_Location :
Nanjing
Print_ISBN :
978-0-7695-3249-3
Type :
conf
DOI :
10.1109/TASE.2008.16
Filename :
4549918
Link To Document :
بازگشت