There is an alphabetical index.

This page is part of the CS320: Programming Languages Course on the Computer Science Department's WWW Server at CalState, San Bernardino, California, USA. It was generated by Doc Dick Botting.


Contents


    Z

    Introduction

    The Z (pronounce Zed) language is a formal specification language that makes it easier to write mathematical description of complex dynamic systems such as software. The descriptions a usually smaller and simpler than any programming language can provide, and also contain a mixture of formal and informal parts.

    Z was developed in Paris, France and Oxford, England.

    Glossary

    [z.glossary.html]

    Syntax

    The official source is the Oxford University Archive Z-grammar[z] in the UK.

    [z.syntax.html]

    Semantics

    Spivey 88

    Archive

    [http://www.comlab.ox.ac.uk/archive/z.html/]

    Local Rattle Bags of Reseources

    [ftp://www.csci.csusb.edu/cs320/z/] Z[methods] [zguide.tex] [zstandard1.0.dvi]

    Fonts

    UK

    [ftp://eagle.ukc.ac.uk/pub/rej/Zedfont/latest/] [zfont.zip] [ftp://ftp.ess.npl.co.uk/pub/dsg/vdmzfont/]

    A true type Z and VDM font is available from the Data Security Group ftp site: [index.html] [ftp://ftp.npl.co.uk/pub/dsg/]

    Finland:

    Here's a file called "lib.tar.gz" which has some fonts in it. [index.htm]

    USA

    Text: [Zedfont.README]

    BinHexed for Mac: [Zedfont.sea.hqx]

    Windows [Zedfont.zip.uue] [windows.font.uu]

    Z via Tex and HTML

    zed.sty [html-z.html]

    Typing Z in LaTeX</A> (27 Nov 1995) Andy Harry at National Physical Laboratory(ach@dsg.npl.co.uk )

    Tools for Z

    tools[z] [tools] [ztools.ms]

    C++ to Z

    [http://www.dit.upm.es]

    People

    [http://www.comlab.ox.ac.uk/oucl/people/]

    jonathan.bowen [jonathan.bowen.html]

    Roger Jones, at home: rbj@campion.demon.co.uk [rbj.htm]

    VDM vs Z

    vdm[z] [UMCS-93-8-1.html]

    "Understanding the differences between {VDM} and {Z}", by I. J. Hayes and C. B. Jones and J. E. Nicholls", ACM Software Engineering News V19n3(Jul 94)pp75..81

    Books and Papers

    [bib.html] Bryant 90, Dick Krause & Cozens 90, Flynn Hoverd & Brazier 90, Gravell 90, Hepworth 90, Ince 88a, Johnson & Sanders 90, Lano & Breuer 90, McDermid 89, Nicholls 90, Smith A 90, Spivey & Sufrin 90, Spivey 88, Spivey 89, Rushby & Henke 92, Woodcock & Loomes 88, Woodcock 89b

    Usenet newsgroup

    comp.specification.z [news://comp.specification.z]

    EMail archive

    archive-server@comlab.ox.ak.uk


Labels and Definitions in Alphabetical Order


This was the work of Dick Botting at
dick@csci.csusb.edu ( also known as: rbotting@wiley.csusb.edu.

Disclaimer: CSUSB may or may not agree with this message.

Copyright(1996): Copy the document in which the link appeared and use as you wish as long as you include the following as source, disclaimer, and copyright.