This paper presents a web environment for the Z formal specification language using the Scalable Vector Graphics (SVG) technology. The Z Specification Web Editor (ZSWE) is the first prototype of a web based graphical editor for the Z specification language. It not only supports graphical editing and global accessibility for the Z formal specifications, but also provides model comprehension facilities such as schema expansion, specification navigation and model querying. This paper outlines the requirement, design and implementation of the tool and its future improvements. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Sun, J., Wang, H., Athauda, S., & Sheik, T. (2005). SVG web environment for Z specification language. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3785 LNCS, pp. 480–494). Springer Verlag. https://doi.org/10.1007/11576280_33
Mendeley helps you to discover research relevant for your work.