Abstract
This article presents Z Browser Plug-in, Netscape Navigator plug-in and ActiveX control which enables the usage of WWW clients for viewing HTML pages with embedded LaTeX documents containing Z specifications.
Chapter PDF
References
Spivey J. M.: The Z Notation A Reference Manual, Prentice Hall, 1989
Spivey J. M.: The fuzz Manual, Computing Science Consultancy, 1992
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
Saaltink M.: Z and EVES, Z User Workshop, Proceedings of the 4th Annual Z User Meeting, 1990
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
Mikusiak L. et al.: Z Browser — Tool for Visualisation of Z Specifications, ZUM'95 — 9th International Conference of Z Users, Springer-Verlag, 1995
Toyn I.: CADiZ Quick Reference Guide, York Software Engineering Ltd, 1990
Hinchey M., Bowen J.: Applications of Formal Methods, Prentice Hall International Series in Computer Science, 1995
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
Netscape Navigator LIVE CONNECT/PLUG-IN Software Develpment Kit, http://home.netscape.com/comprod/development_partners/plugin_api
Learn about Internet Explorer, http://www.microsoft.com/ie
The ActiveX Working Group, http://www.activex.org
The ActiveX Software Development Kit, Microsoft Corp.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mikušiak, L., Adámy, M., Seidmann, T. (1997). Publishing formal specifications in Z notation on world wide web. In: Bidoit, M., Dauchet, M. (eds) TAPSOFT '97: Theory and Practice of Software Development. CAAP 1997. Lecture Notes in Computer Science, vol 1214. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0030650
Download citation
DOI: https://doi.org/10.1007/BFb0030650
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62781-4
Online ISBN: 978-3-540-68517-3
eBook Packages: Springer Book Archive