Requirements Engineering and Verification using Specification Animation

Daniel Hazel, Paul A. Strooper, Owen Traynor

DOI 10.1109/ase.1998.732685 dblp

Abstract

Presents an overview of the Possum specification animation system and its integration into the Cogito methodology and toolset. Possum allows interpretation (or animation) of specifications written in Sum, the specification language of Cogito. We distinguish two potential uses for Possum and illustrate each of these with an example. The first is the use of Possum for specification verification, where the analysis of properties of specifications by the specification designer is emphasised. The second use is specification validation, where the specification is checked against the informal requirements of the system.

BibTeX

@inproceedings{Hazel-al:ASE98,
  author    = {Daniel Hazel and
               Paul A. Strooper and
               Owen Traynor},
  title     = {Requirements Engineering and Verification using Specification Animation},
  booktitle = {ASE},
  pages     = {302--305},
  publisher = {{IEEE} Computer Society},
  year      = {1998},
}

Requirements Engineering and Verification using Specification Animation

Abstract

Related papers