The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.09 - September (1988 vol.14)
pp: 1243-1252
ABSTRACT
<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>
INDEX TERMS
formal specification; trace specification language; trace specification methodology; specification consistency; executable prototypes; formal specification; specification languages
CITATION
D. Hoffman, R. Snodgrass, "Trace Specifications: Methodology and Models", IEEE Transactions on Software Engineering, vol.14, no. 9, pp. 1243-1252, September 1988, doi:10.1109/32.6168
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool