2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (2008)
June 17, 2008 to June 19, 2008
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TASE.2008.16
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.
Requirements change management, sequence-based specification, changing state diagrams, Mealy machine, automaton
J. H. Poore and L. Lin, "Pushing Requirements Changes through to Changes in Specifications," 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE), vol. 00, no. , pp. 289-296, 2008.