Quote: a specification is complete and consistent if every legal trace of a module's function calls yields only one value

Quotation Skeleton

A trace of a module is a description … A trace is termed a legal trace if … trace when the module is in its initial … [p. 12] A specification completely determines the externally visible function of a … … can be derived from the specification. We term …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: requirement specification by behaviors (16 items)