Trace Specifications: Methodology and Models

Daniel Hoffman, Richard Snodgrass

Research output: Contribution to journalArticle

32 Scopus citations

Abstract

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
Volume14
Issue number9
DOIs
StatePublished - Sep 1988

Keywords

  • Formal specification
  • logic
  • prototype
  • software engineering

ASJC Scopus subject areas

  • Software

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

  • Cite this