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
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.

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