Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 2001 Working Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 2001 Working Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Experiences using Z animation tools.

      Reeve, Greg; Reeves, Steve
      Thumbnail
      Files
      content.pdf
      146.0Kb
      Citation
      Export citation
      Reeve, G. & Reeves, S. (2001). Experiences using Z animation tools. (Working paper series. University of Waikato, Department of Computer Science. No. 01/3/2001). Hamilton, New Zealand: University of Waikato.
      Permanent Research Commons link: https://hdl.handle.net/10289/95
      Abstract
      In this paper we describe our experience of using three different animation systems. We searched for and decided to use these tools in the context of a project which involved developing formal versions (in Z) of informal requirements documents, and then showing the formal versions to people in industry who were not Z users (or users of any formal techniques). So, an animator seemed a good way of showing the behaviour of a system described formally without the audience having to learn Z. A requirement, however, that the tools used have to satisfy is that they correctly animated Z (whatever that may mean) and they behave adequately in terms of speed and presentation. We have to report that none of the tools we looked at satisfy these requirements--though to be fair all of them are still under development.
      Date
      2001-05-01
      Type
      Working Paper
      Series
      Computer Science Working Papers
      Report No.
      01/3
      Publisher
      University of Waikato, Department of Computer Science
      Collections
      • 2001 Working Papers [5]
      Show full item record  

      Usage

      Downloads, last 12 months
      24
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement