Conference paper
Animating Z: Interactivity, transparency and equivalence
Asia-Pacific Software Engineering Conference, 1995: Proceedings, December 6-9, 1995, Brisbane, Australia, pp.294-303
Asia Pacific Software Engineering Conference (APSEC 95), 1995 (Brisbane, Australia, 06-Dec-1995–09-Dec-1995)
IEEE Computer Society
1995
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.
Details
- Title
- Animating Z: Interactivity, transparency and equivalence
- Authors
- Mark Utting (Author) - University of Queensland
- Publication details
- Asia-Pacific Software Engineering Conference, 1995: Proceedings, December 6-9, 1995, Brisbane, Australia, pp.294-303
- Conference details
- Asia Pacific Software Engineering Conference (APSEC 95), 1995 (Brisbane, Australia, 06-Dec-1995–09-Dec-1995)
- Publisher
- IEEE Computer Society
- Date published
- 1995
- DOI
- 10.1109/APSEC.1995.496978
- ISBN
- 0818671718
- Copyright note
- Copyright © 1995 IEEE. The author's accepted version is reproduced here in accordance with the publisher's copyright policy. The final version is available at: http://dx.doi.org/10.1109/APSEC.1995.496978. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
- Organisation Unit
- School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
- Language
- English
- Record Identifier
- 99449198102621
- Output Type
- Conference paper
Metrics
96 File views/ downloads
654 Record Views