|
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 ... [MORE]
|
|
|
1. |
A Comparison of Z and VDM with B/AMN
-
Compares Z, Vienna Development Method (VDM), and Abstract Machine Notation (AMN) of B-Method; favors AMN. Descriptions, code samples. By B-Core, UK.
|
|
|
2. |
Community Z Tools Initiative: CZT
-
Proposed to Z community, now under discussion. Mail list archive, proposals, comments, responses.
|
|
|
3. |
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.
|
|
|
4. |
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.
|
|
|
5. |
Professor Jonathan Bowen
-
ZUG webmaster; Computing Professor, South Bank University, heads Centre for Applied Formal Methods. Interests: FM, safety-critical systems, Z, provably correct systems, and rapid prototyping via logic programming. 1994 Babbage Premium award winner.
|
|
|
6. |
RoZ
-
Named after Rosetta stone. Gives formal Z specification from annotated UML diagram, integrates data specification in UML with formal annotation in Z, Object-Z. Descriptions, downloads, documents, list of papers, links.
|
|
|
7. |
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.
|
|
|
8. |
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.
|
|
|
9. |
The Z Notation
-
The formal specification notation Z is based on Zermelo-Fraenkel set theory and first order predicate logic. Entry from World Wide Web Virtual Library; descriptions, many links.
|
|
|
10. |
The Z Notation
-
The World Wide Web Virtual Library entry for the Z formal specification language, providing links to resources around the world.
|
|
|
11. |
Z from FOLDOC
-
Entry with links to several related concepts to aid learning.
|
|
|
12. |
Z User Group: ZUG
-
Promotes use and development of Z formal specification language. History, activities, constitution, committee members, officers, large archive, tools, standardization, descriptions, meeting and conference notices, many links.
|
|
|
13. |
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.
|
|
|
14. |
ZB2003
-
The 3rd International Conference of B and Z Users, 4-6 June 2003, Turku, Finland. The 14th International Z User Meeting, The 5th International Conference on the B Method. Theme, speakers, call for papers, submissions, location, committees, tools and exhibitions.
|
|
|
15. |
ZETA System
-
Environment to develop Z specification documents; integrated tool framework to edit, analyze, animate specifications, and formalisms mapped to Z; 5 tools (ESZ Checker, ZAP Compiler, Adaptors: LaTeX, HOL-Z, SMV), 2 GUIs (Emacs, Java). [Open Source, GPL]
|
|
|
16. |
Combination and Implementation of Processes and Data: from CSP-OZ to Java
-
Ph.D. thesis, University of Oldenburg, 2000. PostScript file.
|
|
|
17. |
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.
|
|
|
