Top : Computers : Programming : Languages :
Z
Websites
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.
site exerpt
The World Wide Web Virtual Library: The Z notation The formal specification notation Z (pronounced zed useful for describing computer-based systems, is based on Zermelo-Fraenkel set theory and first order predicate logic. It has been developed by the Programming Research Group (PRG) at the Oxford University Computing Laboratory (OUCL)...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.
http://www.zuser.org/
Entry with links to several related concepts to aid learning.
http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?Z
Proposed to Z community, now under discussion. Mail list archive, proposals, comments, responses.
site exerpt
Community Z Tools Initiative A mailing list for general discussion of the project/initiative is available. To join, send an email to czt-project-request@comlab.ox.ac.uk containing the single line subscribe To send a message to the list, write to czt-project@comlab.ox.ac.uk. Recent messages to the list are archived....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.
http://www.tucs.fi/zb2003/
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.
site exerpt
The Object-Z Home Page It has been developed by a team of researchers at the Software Verification Research Centre, University of Queensland. The most comprehensive reference for Object-Z is Graeme Smith. The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, 2000. ISBN...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.
site exerpt
The TCOZ Home Page The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behaviour; as well as for structuring and decomposing systems in order to control complexity. Methods integration has become a recent research trend in software specification...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.
site exerpt
%PDF-1.3 8 0 obj stream xY xZy^SJRUKjC 0 ZlS Ri00NbGj2 M AA heK2 6 Ku 9Hq>y G f ly I z[v|Xo Hn v en R n Q S lK lKOb/m _ l pg{ j C N i lfna1 N VNcg7^5 v ua7wqm֝6 V...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://web.comlab.ox.ac.uk/oucl/research/groups/zstandards/
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.
http://www-lsr.imag.fr/zb2002/
Front-end to EVES verification system, integrates leading specification notation and state-of-art automated deduction. Descriptions, documents, screenshots, download, links, User Group; Z Browser for use under Windows and using web browsers.
site exerpt
ORA Canada Z/EVES Page Canada has ceased its distribution of Z/EVES. Z/EVES 2.3 is now available. This version includes a graphical user interface that allows Z specifications to be entered, edited, and analysed in their typeset form; supports the incremental analysis of specifications; and...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.
site exerpt
RoZ Z specifications from annotated UML diagrams Main Functionalities Automatic translation of annotated UML class diagrams into Z specifications Synthesis of both UML and Z specifications of elementary operations associated to a class diagram Generation of proof obligations related to operation...Compares Z, Vienna Development Method (VDM), and Abstract Machine Notation (AMN) of B-Method; favors AMN. Descriptions, code samples. By B-Core, UK.
site exerpt
B-Core (UK) A Comparison of Z and VDM with B/AMN We are frequently asked to compare the AbstractMachine Notation (AMN) of the B-Method with Z and VDM. We have chosen the following points of comparison Underlying Logic Z and AMN are based in the same underlying set theory. VDM has...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.
site exerpt
MOBY Homepage C comprises a graphical editor and simulator for PLC-Automata, a formal description technique for real-time systems. Furthermore, this tool provides connections to several model checker for Timed Automata and code generation for Programmable Logic Controller (PLCs The Moby/PLC tool has...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]
site exerpt
The ZETA System You need a browser which supports frames. Wolfgang Grieskamp...The World Wide Web Virtual Library entry for the Z formal specification language, providing links to resources around the world.
site exerpt
The World Wide Web Virtual Library: The Z notation The formal specification notation Z (pronounced zed useful for describing computer-based systems, is based on Zermelo-Fraenkel set theory and first order predicate logic. It has been developed by the Programming Research Group (PRG) at the Oxford University Computing Laboratory (OUCL)...Ph.D. thesis, University of Oldenburg, 2000. PostScript file.
http://semantik.informatik.uni-oldenburg.de/~wehrheim/Eatcs.ps