The Community for Technology Leaders
RSS Icon
Issue No.09 - September (1988 vol.14)
pp: 1243-1252
<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, 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
21 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool