In Partnership with AOL
See also:
  • Combination and Implementation of Processes and Data: from CSP-OZ to Java - Ph.D. thesis, University of Oldenburg, 2000. PostScript file.
  • Community Z Tools Initiative: CZT - Proposed to Z community, now under discussion. Mail list archive, proposals, comments, responses.
  • 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 - 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 - 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.
Volunteer to edit this category.
[Mozilla Letter Z]
Copyright © 1998-2015 AOL Inc. Terms of Use
Visit our sister sites | MusicMoz | Wikipedia

Last update: July 20, 2014 at 5:24:04 UTC - edit