Foundations of sequence-based software specification

Author

Prowell, Stacy J. ; Poore, Jesse H.

Author_Institution

Dept. of Comput. Sci., Tennessee Univ., Knoxville, TN, USA

Volume

29

Issue

5

fYear

2003

fDate

5/1/2003 12:00:00 AM

Firstpage

417

Lastpage

429

Abstract

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.

Keywords

formal specification; software engineering; complete specification; consistent specification; sequence enumeration method; sequence-based software specification; software development cost reduction; software development process; software maintenance cost reduction; specification writing; traceably correct specification; Computer Society; Control systems; Costs; Programming; Risk management; Software development management; Software maintenance; Software safety; Software systems; Writing;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/TSE.2003.1199071

Filename

1199071