On Trace Specifications

Dr. Theodore S. Norvell

Software Engineering Research Group
CRL, McMaster University,
Hamilton, Ontario, Canada L8S 4K1


In this report I explore some ideas for formally specifying modules based on the trace assertion method outlined in, for example, [Parnas and Wang 1989].

These ideas include:

A formal mathematical theory of trace specifications which is independent of their intended application to module specification (Chapter 2).

Some ideas on presenting module specifications (Chapter 3).

A theory of trace specifications for dealing with modules that call other modules (Chapter 4).

Automata theoretic models for trace specifications of the sort defined in Chapter 4 (Chapter 5).

A theory of trace specifications for cases where deterministic automata are not suitable models (Chapter 6).