Publishing formal specifications in Z notation on world wide web

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

Volumn 1214, Issue , 1997, Pages 871-874

  Miku Š Iak, Lubo Š ^a   Ad Á My, Miroslav ^b   Seidmann, Thomas ^b  

^a Intergraph SR   (Slovakia)

^b Department of Computer Science and Software Engineering ^*  (Slovakia)

Author keywords

ActiveX control; Formal specification; LaTeX; Netscape plug irr; WWW; Z notation

Indexed keywords

DISTRIBUTED PARAMETER CONTROL SYSTEMS; LANTHANUM ALLOYS; LATEXES; SOFTWARE DESIGN; SPECIFICATION LANGUAGES; WORLD WIDE WEB;

ACTIVEX CONTROL; HTML PAGES; NETSCAPE NAVIGATORS; NETSCAPE PLUG-IRR; PLUG-INS; Z SPECIFICATIONS;

FORMAL SPECIFICATION;

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

References (13)

1. Spivey J. M.: The ZNotation A Reference Manual, Prentice Hall, 1989
2. Spivey J. M.: The fuzz Manual, Computing Science Consultancy, 1992
3. Xiaoping Jia: ZTC: A Type Checker for Z-User's Guide, Institute for Software Engineering, Department of Computer Science and Information Systems, DePaul University, 1992
4. Saaltink M.: Z and EVES, Z User Workshop, Proceedings of the 4th Annual Z User Meeting, 1990
5. Flynn M., Hoverd T., Braizer D.: Formaliser - An Interactive Support Tool for Z, Z User Workshop, Proceedings of the 4th Annual Z User Meeting, 1990
6. Mikusiak L. et al.: Z Browser - Tool for Visualisation of Z Specifications, ZUM'95 - 9th International Conference of Z Users, Springer-Verlag, 1995
7. Toyn I.: CADIZ Quick Reference Guide, York Software Engineering Ltd, 1990
8. Hinchey M., Bowen J.: Applications of Formal Methods, Prentice Hall International Series in Computer Science, 1995
9. Craigen, D., Gerhart S., and Ralston T., An International Survey of Industrial Applications of Formal Methods, Volume 1 Purpose, Approach, Analysis and Conclusions; Volume 2 Case Studies, U.S. National Institute of Standards and Technology, GCR 93/626, March 1993
10. Netscape Navigator LIVE CONNECT/PLUG-IN Software Develpment Kit, http://home.netscape.com/comprod/development_partners/plugin-api
11. Learn about Internet Explorer, http://www.microsoft.com/ie
12. The ActiveX Working Group, http://www.activex.org
13. The ActiveX Software Development Kit, Microsoft Corp.