| 
|
QuoteRef: belfPC_1976
topics >
all references >
ThesaHelp:
references a-b
Topic:
requirement specification by function
Topic:
automated tests of specifications and designs
Reference
Belford, P.C., Taylor, D.S., pp. 83-96, "Specification verification--A key to improving software reliability", in Fox, J. (ed.), Computer Software Engineering, MRI Symposium Proceedings, 24, Brooklyn, New York, Polytechnic Press, 1976. Google
89 ;;Quote: a requirement specification defines the function, input, output, initial conditions, logical constraints, performance, and design constraints
90 ;;Quote: define requirements via "decomposition elements"; automatic checks for consistency, completeness, interface
ThesaHelp: references a-b (396 items)
Topic: requirement specification by function (20 items)
Topic: automated tests of specifications and designs (12 items)