The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - May (2003 vol.29)
pp: 417-429
Stacy J. Prowell , IEEE Computer Society
ABSTRACT
<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>
INDEX TERMS
Software specification, sequence-based specification, trace specification, requirements analysis, correctness, completeness, consistency.
CITATION
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
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool