Pushing Requirements Changes through to Changes in Specifications
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.
Lan Lin Jesse H.Poore
University of Tennessee Department of Electrical Engineering and Computer Science Knoxville, TN 37996-3450, USA
国际会议
南京
英文
289-296
2008-06-17（万方平台首次上网日期，不代表论文的发表时间）