UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Visualizing Z notation in HTML documents

Ciancarini, P; Mascolo, C; Vitali, F; (1998) Visualizing Z notation in HTML documents. In: Bowen, JP and Fett, A and Hinchey, MG, (eds.) UNSPECIFIED (pp. 81-95). SPRINGER-VERLAG BERLIN

Full text not available from this repository.


The use of the WWW as a communication medium for software engineers is limited by the lack of tools for writing, sharing, and verifying formal notations. For instance, the Z specification language has a a rich set of mathematical characters, and requires graphic-rich boxes and schemas for its specifications. It is difficult to integrate Z specifications and text on WWW pages written with the current versions of HTML, and traditional tools are not suited for the task.We present a Java-based tool for rendering Z specifications within HTML documents that can be shown on every WWW browser with Java capabilities. Being a complete rendering engine, text parts and Z specifications can be freely intermixed, and all the standard features of HTML (such as links, etc.) are available outside and inside Z specifications. Furthermore, the extensibility of our engine allows additional notations to be supported and integrated with current ones.

Type: Book chapter
Title: Visualizing Z notation in HTML documents
ISBN: 3-540-65070-9
UCL classification: UCL > School of BEAMS > Faculty of Engineering Science
UCL > School of BEAMS > Faculty of Engineering Science > Computer Science
URI: http://discovery.ucl.ac.uk/id/eprint/181747
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item