Languages Programming Computers

Z, pronounced "zed", is a formal specification notation, a notation for formally, mathematically specifying, describing, computer-based systems. It is not a programming language, so it has no compiler as such, but many tools exist: type-checkers, animators for Z subsets, proof tools, more. Z is based on Zermelo-Fraenkel set theory and first order predicate logic. Inspired by the work of Jean-Raymond Abrial, it has been developed by the Programming Research Group (PRG) at the Oxford University Computing Laboratory (OUCL), and elsewhere, since the late 1970s. It is public domain, under ISO/IEC Z Standard 13568:2002, and Z symbols are part of Unicode character encoding.

    Top: Computers: Programming: Languages: Z

See Also:
  • Combination and Implementation of Processes and Data: from CSP-OZ to Java - Ph.D. thesis, University of Oldenburg, 2000. PostScript file.
  • TCOZ Page - Timed Communicating Object-Z integrates Object-Z and Timed CSP, for modeling programming state, concurrent events, real-time behavior, and structuring and decomposing programming systems to control complexity. Description, publications, book list.
  • Community Z Tools Initiative: CZT - Proposed to Z community, now under discussion. Mail programming list archive, programming proposals, comments, responses.
  • Z from FOLDOC - Entry with links to several related concepts to z aid learning.
  • Standard for Z Notation - International Z Notation standardization effort finished in 2002 programming and yielded The ISO/IEC Z Standard. Brief description, programming links to ISO, panel members, meeting minutes, FAQ, programming committee drafts.
  • A Comparison of Z and VDM with B/AMN - Compares Z, Vienna Development Method (VDM), and Abstract Machine Notation languages (AMN) of B-Method; favors AMN. Descriptions, code samples. By B-Core, languages UK.
  • ZB2002 - The 2nd International Z and B Conference, Grenoble, languages France, 23-25 programming January 2002. The 13th International Z languages User Meeting, The 4th programming International Conference on the languages B Method. Proceedings, Tutorials and Education programming Session, RCS\'02 languages Workshop.
  • Object-Z Page - Object-oriented extension of Z formal specification language, developed by research programming team at University of Queensland. Brief description, links, FAQ, tool programming support, publications, book reference.
  • MOBY - Official page. C++ class library, basis of three z tools: Moby/PLC, languages Moby/SDL, and Moby/OZ graphical editor to z build specifications in Z/Object-Z, languages allows structured development via z hierarchy concepts, handles many text formats.
  • Z Family on the Web with Their UML Photos - Treats building lightweight tools such as Web browser systems for formal specifications and methods. School of Computing, National University of Singapore. January, 2001; as postcript, and pdf files.[PDF]
  • RoZ - Named after Rosetta stone. Gives formal Z specification z from annotated languages UML diagram, integrates data specification in z UML with formal annotation languages in Z, Object-Z. Descriptions, z downloads, documents, list of papers, links.

   MySQL - Cache Direct