Directory of Resources

Home > Computers > Programming > Languages > Z

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.

Subcategories

• Books

Resources in This Category

• Combination and Implementation of Processes and Data: from CSP-OZ to Java

  http://csd.informatik.uni-oldenburg.de/~wehrheim/Eatcs.ps
  Ph.D. thesis, University of Oldenburg, 2000. PostScript file.

• Community Z Tools Initiative: CZT

  http://www.comlab.ox.ac.uk/people/andrew.martin/CZT/
  Proposed to Z community, now under discussion. Mail list archive, proposals, comments, responses.

• MOBY

  http://theoretica.informatik.uni-oldenburg.de/~moby/
  Official page. C++ class library, basis of three tools: Moby/PLC, Moby/SDL, and Moby/OZ graphical editor to build specifications in Z/Object-Z, allows structured development via hierarchy concepts, handles many text formats.

• Standard for Z Notation

  http://www.comlab.ox.ac.uk/people/andrew.martin/zstandards/
  International Z Notation standardization effort finished in 2002 and yielded The ISO/IEC Z Standard. Brief description, links to ISO, panel members, meeting minutes, FAQ, committee drafts.

• TCOZ Page

  http://www.comp.nus.edu.sg/~dongjs/tcoz.html
  Timed Communicating Object-Z integrates Object-Z and Timed CSP, for modeling state, concurrent events, real-time behavior, and structuring and decomposing systems to control complexity. Description, publications, book list.

Related Categories

• Home > Computers > Programming > Languages > Garbage Collected
• Home > Computers > Programming > Languages > Specification
• Home > Computers > Software > Software Engineering
• Home > Science > Math > Logic and Foundations > Software

 

Home > Computers > Programming > Languages > Z

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us