Title :
Animating Z: interactivity, transparency and equivalence
Author_Institution :
Dept. of Comput. Sci., Queensland Univ., St. Lucia, Qld., Australia
Abstract :
The ability to animate Z specifications is useful in allowing a specifier to explore the behaviour of a specification. The 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
Keywords :
computer animation; formal specification; specification languages; Haskell-based animation system; Z specification animation; animation systems; evaluation criteria; interactivity; operational equivalence; specification behaviour; transparency; Animation; Computer science; Feedback; Prototypes; Terminology; Testing; Writing;
Conference_Titel :
Software Engineering Conference, 1995. Proceedings., 1995 Asia Pacific
Conference_Location :
Brisbane, Qld.
Print_ISBN :
0-8186-7171-8
DOI :
10.1109/APSEC.1995.496978
