Issue No. 09 - September (1988 vol. 14)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.6168
<p>The authors summarize the trace specification language and present the trace specification methodology: a set of heuristics designed to make the reading and writing of complex specifications manageable. Also described is a technique for constructing formal, executable models from specifications written using the methodology. These models are useful as proof of specification consistency and as executable prototypes. Fully worked examples of the methodology and the model building techniques are included.</p>
formal specification; trace specification language; trace specification methodology; specification consistency; executable prototypes; formal specification; specification languages
D. Hoffman and R. Snodgrass, "Trace Specifications: Methodology and Models," in IEEE Transactions on Software Engineering, vol. 14, no. , pp. 1243-1252, 1988.