[Skip Navigation] [CSUSB] / [CNS] / [CSE] / [R J Botting] /[CS320 Course Materials] /z.html [z.txt(Text)] [Search ]
Thu Aug 25 21:00:19 PDT 2011
[Schedule] [Syllabi] [Text] [Labs] [Projects] [Resources] [Grading] [Contact]
Notes: [01] [02] [03] [04] [05] [06] [07] [08] [09] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20]

Opening Microsoft files (winzip, word, excel, powerpoint) on this page may require you to download a special viewer. Or you can download and save the files and use your preferred office applications to view and edit them.

Contents


    The Formal Specification Language Z

      Introduction

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

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

      Archive

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

      ISO Standard Z

      [ zstd.htm ]

      Local Resources

        Glossary

        [ z.glossary.html ]

        Syntax

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

        [ z.syntax.html ]

        A minor problem with the spread of Z is that it is designed as language to be written rather than as a language to be input into a computer. Thus Z users often have to learn a version of the LaTeX mathematical type-setting language. On the other hand it makes the expressions much shorter and clearer than using ASCII. There are a few resources for people who want an ASCII form of Z: *New* Proposed standard lexemes for ASCII/EMail: [ z.lexis.html ] and PiZA [ PiZAHome.html ]

        Semantics

        • JM Spivey
        • Understanding Z:A Specification language and its Formal Semantics
        • Cambridge Tracts on Theoretical Computer Science 3 Cambridge U press UK 1988

        Rattle Bags

        [ http://cse.csusb.edu/dick/cs320/z/ ] [ Z in methods ] [ zguide.tex ]

        Standardization

        [ zstandard1.0.dvi ] [ z.part1.ps.Z ] [ z.part2.ps.Z ] *New* Proposed standard lexemes for ASCII/EMail: [ z.lexis.html ]

        FAQ

        [ z.FAQ.txt ]

        Fonts: [ Zedfont.README ] [ Zedfont.sea.hqx ] [ Zedfont.zip.uue ] [ windows.font.uu ]

        [ tools ] [ ztools.ms ]

      . . . . . . . . . ( end of section Local Resources) <<Contents | End>>

      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 in 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

      Fonts

        UK

        [ http://www.cs.ukc.ac.uk/people/staff/rej/Zedfont/latest/ ] [ zfont.zip ] [ http://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.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 ]

      . . . . . . . . . ( end of section Fonts) <<Contents | End>>

      Z via Tex and HTML

      zed.sty [ html-z.html ]

      Tools for Z

      [ tools in 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 in 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 //comp.specification.z

      FAQs

      Jonathon Bowen's Official comp.specification.z FAQ is in the UK //ftp.comlab.ox.ac.uk/pub/Zforum/faq.

      My copy (USA) is [ z.FAQ.txt ]

      EMail archive

      archive-server@comlab.ox.ak.uk archive-server@comlab.ox.ak.uk

    . . . . . . . . . ( end of section Z) <<Contents | End>>

End