the entire directory only in Languages/Z

See also:

• Computers: Programming: Languages: Garbage Collected (4)
• Computers: Programming: Languages: Specification (11)
• Computers: Software: Software Engineering (100)
• Science: Math: Logic and Foundations: Software (21)

• 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.
• Object-Z Page - Object-oriented extension of Z formal specification language, developed by research team at University of Queensland. Brief description, links, FAQ, tool support, publications, book reference.
• 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.
• ZB2002 - The 2nd International Z and B Conference, Grenoble, France, 23-25 January 2002. The 13th International Z User Meeting, The 4th International Conference on the B Method. Proceedings, Tutorials and Education Session, RCS'02 Workshop.

Usenet comp.risks - news: - Google Groups
Usenet comp.software-eng - news: - Google Groups
Usenet comp.specification.misc - news: - Google Groups
Usenet comp.specification.z - news: - Google Groups

"Z" search on:   AOL - Ask - Bing - Gigablast - Google - Lycos - Yahoo - Yippy

Volunteer to edit this category.

Copyright © 2013 Netscape Terms of Use