IEEE - Institute of Electrical and Electronics Engineers, Inc. - Possum: an animator for the SUM specification language

Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference

Author(s): Hazel, D. ; Strooper, P. ; Traynor, O.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1997
Conference Location: Hong Kong, Hong Kong
Conference Date: 5 December 1997
Page(s): 42 - 51
ISBN (Paper): 0-8186-8271-X
DOI: 10.1109/APSEC.1997.640160
Regular:

We present an overview of the Possum specification animation system, an addition to the Cogito methodology and toolset. Possum allows interpretation (or animation) of specifications written in... View More

Advertisement