Experiences with PiZA, an Animator for Z

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1212, Issue , 1997, Pages 35-51

  Hewitt, M A ^a   O'Halloran C M ^a   Sennett, C T ^a  

^a DEFENCE SCIENCE AND TECHNOLOGY LABORATORY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ANIMATION;

DESIGN LANGUAGES; INPUT AND OUTPUTS; Z SPECIFICATIONS;

FORMAL SPECIFICATION;

EID: 84947812857     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0027282     Document Type: Conference Paper

References (12)

1. Dick AJJ, Krause PJ, and Cozens J. Computer aided transformation of Z into Prolog. Workshops in Computing, pages 71-85. Springer-Verlag, 1990.
2. Jordan D, McDermid JA, and Toyn I. CADiZ - computer aided design in Z. Workshops in Computing, pages 93-104. Springer-Verlag, 1991.
3. Toyn I. CADiZ Quick Reference Guide. York Software Engineering Ltd, University of York, York YO1 5DD, UK, 1990.
4. Xiaoping J. ZTC: A Type Checker for the Z Notation. School of Computer Science, DePaul University, Chicago, Illinois, USA, 1995.
5. Spivey JM. The fUZZ Manual. Computing Science Consultancy, 2 Willow Close, Garsington, Oxford 0X9 9AN, UK, 2nd edition, 1992.
6. Spivey JM. The Z Notation: A Reference Manual. Series in Computer Science. Prentice Hall International, 2nd edition, 1992.
7. Hewitt MA. Automated animation of Z using Prolog. B.S.c. Project Report, Department of Computing, Lancaster University, 1991.
8. Hewitt MA. Optimization of Prolog generated from Z specifications. Master's thesis, Department of Computing Science, University of Aberdeen, 1992. Available from http://www.noodles.demon.co.uk/PiZA/PiZA01dDocs.html.
9. West MM and Eaglestone BM. Software development: Two approaches to animation of Z specifications using Prolog. IEE/BCS Software Engineering Journal, 7(4):264-276, July 1992.
10. OSF. ANDF, application portability and open systems. Technical report, Open Software Foundation, 11 Cambridge Center, Cambridge, MA 02142, USA, 1991.
11. Knott RD and Krause PJ. The implementation of Z specifications using program transformation systems: The SuZan project. In C. Rattray and R. G. Clark, editors, The Unified Computation Laboratory, volume 35 of IMA Conference Series, pages 207-220, Oxford, UK, 1992. Clarendon Press.
12. TA Consultancy Services Ltd, 'The Barbican' East Street, Farnham, Surrey, UK, GU9 7TB. Intermediate Language Manual for MALPAS, 6th edition, 1996.