Issue No.05 - May (2003 vol.29)
Stacy J. Prowell , IEEE Computer Society
Jesse H. Poore , IEEE
<p><b>Abstract</b>—Rigorous specification early in the software development process can greatly reduce the cost of later development and maintenance, as well as provide an explicit means to manage risk and identify and meet safety requirements. Sequence-based software specification is a collection of techniques for implementing rigorous, practical software specification. The primary result of this research is the sequence enumeration method of specification writing. Straightforward, systematic enumeration of all sequences to produce an arguably complete, consistent, and traceably correct specification is made practical by controlling the growth of the process.</p>
Software specification, sequence-based specification, trace specification, requirements analysis, correctness, completeness, consistency.
Stacy J. Prowell, Jesse H. Poore, "Foundations of Sequence-Based Software Specification", IEEE Transactions on Software Engineering, vol.29, no. 5, pp. 417-429, May 2003, doi:10.1109/TSE.2003.1199071