Quote: describe behavior as valid traces of externally visible events; less intuitive than preconditions and postconditions; the Trace Assertion Method
[D.L. Parnas] When dealing with products in which part … visible events (traces). These descriptions turn out to … much less acceptance than precondition/ postcondition methods. …
Google-1Google-2