Proceedings 1995 Asia Pacific Software Engineering Conference (1995)
Dec. 6, 1995 to Dec. 9, 1995
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.