Trace Specifications: Methodology and Models

Daniel Hoffman, Richard Snodgrass

Research output: Contribution to journalArticlepeer-review

32 Scopus citations


Precise abstract software specification is achievable by using formal specification languages. However, nontrivial specifications are inordinately difficult to read and write. This paper summarizes the trace specification language and presents 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 proofs of specification consistency and as executable prototypes. Fully worked examples of the methodology and the model building technique are included.

Original languageEnglish (US)
Pages (from-to)1243-1252
Number of pages10
JournalIEEE Transactions on Software Engineering
Issue number9
StatePublished - Sep 1988


  • Formal specification
  • logic
  • prototype
  • software engineering

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'Trace Specifications: Methodology and Models'. Together they form a unique fingerprint.

Cite this