Show simple item record  

dc.contributor.authorReeve, Gregen_US
dc.contributor.authorReeves, Steveen_US
dc.date.accessioned2008-03-19T04:58:06Z
dc.date.available2007-07-22en_US
dc.date.available2008-03-19T04:58:06Z
dc.date.issued2001-05-01en_US
dc.identifier.citationReeve, 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.en_US
dc.identifier.urihttps://hdl.handle.net/10289/95
dc.description.abstractIn 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.en_US
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherUniversity of Waikato, Department of Computer Science
dc.relation.ispartofseriesComputer Science Working Papers
dc.titleExperiences using Z animation tools.en_US
dc.typeWorking Paperen_US
uow.relation.series01/3
pubs.elements-id55310
pubs.place-of-publicationHamiltonen_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record