Publishing formal specifications in Z notation on world wide web

  • Luboš Mikušiak
  • Miroslav Adámy
  • Thomas Seidmann
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1214)


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.


formal specification Z notation Netscape plug-in ActiveX control WWW LaTeX 


  1. 1.
    Spivey J. M.: The Z Notation A Reference Manual, Prentice Hall, 1989Google Scholar
  2. 2.
    Spivey J. M.: The fuzz Manual, Computing Science Consultancy, 1992Google Scholar
  3. 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, 1992Google Scholar
  4. 4.
    Saaltink M.: Z and EVES, Z User Workshop, Proceedings of the 4th Annual Z User Meeting, 1990Google Scholar
  5. 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, 1990Google Scholar
  6. 6.
    Mikusiak L. et al.: Z Browser — Tool for Visualisation of Z Specifications, ZUM'95 — 9th International Conference of Z Users, Springer-Verlag, 1995Google Scholar
  7. 7.
    Toyn I.: CADiZ Quick Reference Guide, York Software Engineering Ltd, 1990Google Scholar
  8. 8.
    Hinchey M., Bowen J.: Applications of Formal Methods, Prentice Hall International Series in Computer Science, 1995Google Scholar
  9. 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 1993Google Scholar
  10. 10.
    Netscape Navigator LIVE CONNECT/PLUG-IN Software Develpment Kit, Scholar
  11. 11.
    Learn about Internet Explorer, Scholar
  12. 12.
    The ActiveX Working Group, http://www.activex.orgGoogle Scholar
  13. 13.
    The ActiveX Software Development Kit, Microsoft Corp.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Luboš Mikušiak
    • 1
  • Miroslav Adámy
    • 2
  • Thomas Seidmann
    • 2
  1. 1.Intergraph SRBratislavaSlovak Republic
  2. 2.Department of Computer Science and Software EngineeringFaculty of Electrical Engineering and Information TechnologyBratislavaSlovak Republic

Personalised recommendations