Displaying the formal Z notation within a World Wide Web browser using standard HTML (HyperText Markup Language) pages is problematic because of the non-standard fonts used in Z, making it difficult to view Z documents on-line for some. This paper presents a solution to this problem. The formal text is formatted using a specially developed Java applet where the Z specification to be displayed is specified as a parameter to the applet, following the Z Interchange Format in the draft Z standard. A separate Java application program may be used to create and edit the Z specification. Other possible solutions and future directions are also discussed.
['Jonathan P. Bowen', 'David Chippington']
Z on the Web Using Java