Foundations of sequence-based software specification

Stacy J. Prowell; Jesse H. Poore

doi:10.1109/TSE.2003.1199071

Foundations of sequence-based software specification

Stacy J. Prowell, Jesse H. Poore

Research output: Contribution to journal › Article › peer-review

76 Scopus citations

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.

Original language	English
Pages (from-to)	417-429
Number of pages	13
Journal	IEEE Transactions on Software Engineering
Volume	29
Issue number	5
DOIs	https://doi.org/10.1109/TSE.2003.1199071
State	Published - May 2003
Externally published	Yes

Keywords

Completeness
Consistency
Correctness
Requirements analysis
Sequence-based specification
Software specification
Trace specification

Access to Document

10.1109/TSE.2003.1199071

Cite this

@article{9c2c148e3cab4a7ea82320e8680388db,

title = "Foundations of sequence-based software specification",

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 = "Completeness, Consistency, Correctness, Requirements analysis, Sequence-based specification, Software specification, Trace specification",

author = "Prowell, {Stacy J.} and Poore, {Jesse H.}",

year = "2003",

month = may,

doi = "10.1109/TSE.2003.1199071",

language = "English",

volume = "29",

pages = "417--429",

journal = "IEEE Transactions on Software Engineering",

issn = "0098-5589",

publisher = "Institute of Electrical and Electronics Engineers",

number = "5",

}

TY - JOUR

T1 - Foundations of sequence-based software specification

AU - Prowell, Stacy J.

AU - Poore, Jesse H.

PY - 2003/5

Y1 - 2003/5

N2 - 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.

AB - 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.

KW - Completeness

KW - Consistency

KW - Correctness

KW - Requirements analysis

KW - Sequence-based specification

KW - Software specification

KW - Trace specification

UR - http://www.scopus.com/inward/record.url?scp=0038719942&partnerID=8YFLogxK

U2 - 10.1109/TSE.2003.1199071

DO - 10.1109/TSE.2003.1199071

M3 - Article

AN - SCOPUS:0038719942

SN - 0098-5589

VL - 29

SP - 417

EP - 429

JO - IEEE Transactions on Software Engineering

JF - IEEE Transactions on Software Engineering

IS - 5

ER -

Foundations of sequence-based software specification

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this