Searchalot

Internet Directory - Top : Computers : Programming : Languages : Z

Top : Computers : Programming : Languages : Z (14 web sites)
Books
 Related Categories
Computers: Programming: Languages: Garbage_Collected
Science: Math: Logic_and_Foundations: Software
Computers: Software: Software_Engineering
Computers: Programming: Languages: Specification
 Related Web Pages

Combination and Implementation of Processes and Data: from CSP-OZ to Java
Ph.D. thesis, University of Oldenburg, 2000. PostScript file.
http://csd.informatik.uni-oldenburg.de/~wehrheim/Eatcs.ps

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

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.
http://theoretica.informatik.uni-oldenburg.de/~moby/

Standard for Z Notation
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.
http://www.comlab.ox.ac.uk/people/andrew.martin/zstandards/

TCOZ Page
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.
http://www.comp.nus.edu.sg/~dongjs/tcoz.html