The Property Vector Specification of a Multiset Iterator

Abstract

Trace assertion specification methods constrain behaviour at the interface of a module by identifying legal sequences is its equivalent normal/canonical form.

BibTeX

@inproceedings{Pearce-Lamb:ICSE92,
  author    = {Trevor W. Pearce and
               David Alex Lamb},
  title     = {The Property Vector Specification of a Multiset Iterator},
  booktitle = {ICSE},
  pages     = {235--245},
  publisher = {{ACM}},
  year      = {1992},
}

The Property Vector Specification of a Multiset Iterator

Abstract

Related papers