Experiences using Z animation tools.
dc.contributor.author | Reeve, Greg | en_US |
dc.contributor.author | Reeves, Steve | en_US |
dc.date.accessioned | 2008-03-19T04:58:06Z | |
dc.date.available | 2007-07-22 | en_US |
dc.date.available | 2008-03-19T04:58:06Z | |
dc.date.issued | 2001-05-01 | en_US |
dc.description.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. | en_US |
dc.format.mimetype | application/pdf | |
dc.identifier.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. | en_US |
dc.identifier.uri | https://hdl.handle.net/10289/95 | |
dc.language.iso | en | |
dc.publisher | University of Waikato, Department of Computer Science | |
dc.relation.ispartofseries | Computer Science Working Papers | |
dc.title | Experiences using Z animation tools. | en_US |
dc.type | Working Paper | en_US |
pubs.elements-id | 55310 | |
pubs.place-of-publication | Hamilton | en_NZ |
uow.relation.series | 01/3 |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- content.pdf
- Size:
- 146.06 KB
- Format:
- Adobe Portable Document Format