Abstract
Standards, if widely accepted, encourage the development of tools and techniques to process objects conforming to that standard. This paper describes a number of experiments using available tools to process text containing Z specifications adhering to the existing Z Interchange Format. The experiments resulted in tools that could be used in specific programming environments where Z was used to describe software systems.
The research described in this paper was supported by IBM Canada, the Information Technology Research Centre of Ontario and Inforium Technologies Inc.
Preview
Unable to display preview. Download preview PDF.
References
L. Lamport, LAT E X User's Guide & Reference Manual. Reading, Massachusetts, USA: Addison-Wesley Publishing Company, 1986.
J. M. Spivey, “A guide to the zed style option.” Oxford University Computing Laboratory, December 1990.
J. M. Spivey, The fuzz Manual. Computing Science Consultancy, 2 Willow Close, Garsington, Oxford OX9 9AN, UK, 2nd ed., 1992.
P. King, “Printing Z and Object-Z LATEX documents.” Department of Computer Science, University of Queensland, May 1990.
S. M. Brien and J. E. Nicholls, “Z base standard,” Technical Monograph PRG-107, Oxford University Computing Laboratory, 11 Keble Road, Oxford, UK, Nov. 1992. Accepted for standardization under ISO/IEC JTC1/SC22.
C. Goldfarb, SGML Handbook. Oxford University Press, 1990. (0-19-853737-9).
J. M. Spivey, The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd ed., 1992.
D. Cowan, E. Mackie, G. Pianosi, and G. d. V. Smit, “Rita — An Editor and User Interface for Manipulating Structured Documents,” Electronic Publishing, Origination, Dissemination and Design, vol. 4, pp. 125–150, September 1991.
Inforium Inc., Waterloo Ont. Canada, LivePage Browser Tutorial and Reference Manual, Version. 2.0, 1994.
D. E. Knuth, “Literate programming,” The Computer Journal, vol. 27, pp. 97–111, May 1984.
A. Ryman, “Formal Methods and Literate Programming,” in Proceedings of the Third IBM Software Engineering ITL, June 1993.
D. Morales-Germán, “An SGML based Literate Programming Environment,” in Proceedings of the 1994 CAS Conference, pp. 42–49, November 1994.
T. Berners-Lee, R. Cilliau, A. Loutonen, H. F. Nielsen, and A. Secret, “The World Wide Web,” Communications of the ACM, vol. 37, pp. 76–82, August 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Germán, D.M., Cowan, D.D. (1995). Experiments with the Z interchange format and SGML. In: Bowen, J.P., Hinchey, M.G. (eds) ZUM '95: The Z Formal Specification Notation. ZUM 1995. Lecture Notes in Computer Science, vol 967. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60271-2_122
Download citation
DOI: https://doi.org/10.1007/3-540-60271-2_122
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60271-2
Online ISBN: 978-3-540-44782-5
eBook Packages: Springer Book Archive