TY - GEN
T1 - Developing black box specifications through sequence enumeration
AU - Prowell, S. J.
N1 - Publisher Copyright:
© 1999 IEEE.
PY - 1999
Y1 - 1999
N2 - A rigorous behavioral specification can greatly reduce risk by exposing ambiguities in requirements and making explicit otherwise tacit information. Such an external, or black box specification can be developed from behavioral requirements in a systematic manner through the process of sequence enumeration. This process results in an arguably complete, consistent, and traceable specification of external system behavior. Sequence abstraction provides a powerful means to manage and focus the enumeration process.
AB - A rigorous behavioral specification can greatly reduce risk by exposing ambiguities in requirements and making explicit otherwise tacit information. Such an external, or black box specification can be developed from behavioral requirements in a systematic manner through the process of sequence enumeration. This process results in an arguably complete, consistent, and traceable specification of external system behavior. Sequence abstraction provides a powerful means to manage and focus the enumeration process.
UR - http://www.scopus.com/inward/record.url?scp=84886874511&partnerID=8YFLogxK
U2 - 10.1109/SESD.1999.781107
DO - 10.1109/SESD.1999.781107
M3 - Conference contribution
AN - SCOPUS:84886874511
T3 - Proceedings - Science and Engineering for Software Development: A Recognition of Harlan D. Mills' Legacy, SESD 1999 - Co-Located With ICSE 1999
SP - 14
EP - 23
BT - Proceedings - Science and Engineering for Software Development
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 1999 Science and Engineering for Software Development: A Recognition of Harlan D. Mills' Legacy, SESD 1999
Y2 - 18 May 1999
ER -