Ciancarini, P.;
Mascolo, C.;
Vitali, F.;
(1998)
Visualizing Z notation in HTML documents.
In: Bowen, J. and Fett, A. and Hinchey, M., (eds.)
Proceedings of the 11th International Conference on the Z Formal Method (ZUM).
(pp. pp. 81-95).
Springer Verlag
PDF
10.7_ZUM Download (266kB) |
Abstract
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: | Proceedings paper |
---|---|
Title: | Visualizing Z notation in HTML documents |
ISBN: | 3540650709 |
Open access status: | An open access version is available from UCL Discovery |
Publisher version: | http://www.springerlink.com/openurl.asp?genre=arti... |
Language: | English |
Additional information: | The original publication is available at: http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=1493&spage=81 |
URI: | https://discovery.ucl.ac.uk/id/eprint/938 |
Archive Staff Only
View Item |