The Community for Technology Leaders
Proceedings 1995 Asia Pacific Software Engineering Conference (1995)
Brisbane, Australia
Dec. 6, 1995 to Dec. 9, 1995
ISBN: 0-8186-7171-8
pp: 294
Mark Utting , The University of Queensland
ABSTRACT
The ability to animate Z specifications is useful in allowing a specifier to explore the behavior of a specification. This paper defines three new evaluation criteria for animation systems, interactivity, transparency and operational equivalence. It also describes a simple Haskell-based animation system that satisfies these criteria.
INDEX TERMS
CITATION

M. Utting, "Animating Z: Interactivity, Transparency and Equivalence," Proceedings 1995 Asia Pacific Software Engineering Conference(APSEC), Brisbane, Australia, 1995, pp. 294.
doi:10.1109/APSEC.1995.496978
84 ms
(Ver 3.3 (11022016))