• DocumentCode
    1577240
  • Title

    Animating Z: interactivity, transparency and equivalence

  • Author

    Utting, Mark

  • Author_Institution
    Dept. of Comput. Sci., Queensland Univ., St. Lucia, Qld., Australia
  • fYear
    1995
  • Firstpage
    294
  • Lastpage
    303
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering Conference, 1995. Proceedings., 1995 Asia Pacific
  • Conference_Location
    Brisbane, Qld.
  • Print_ISBN
    0-8186-7171-8
  • Type

    conf

  • DOI
    10.1109/APSEC.1995.496978
  • Filename
    496978
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1577240