Wectar - Computers - Programming - Languages - Z

	submit a site to this category

Subcategories
Books

	ZETA System URL: http://uebb.cs.tu-berlin.de/zeta/ ODP description: 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] Page title: The ZETA System
	Standard for Z Notation URL: http://www.comlab.ox.ac.uk/people/andrew.martin/zstandards/ ODP description: 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.
	RoZ URL: http://www-lsr.imag.fr/Les.Groupes/pfl/RoZ/ ODP description: 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.
	TCOZ Page URL: http://www.comp.nus.edu.sg/~dongjs/tcoz.html ODP description: 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. Page title: The TCOZ Home Page
	Professor Jonathan Bowen URL: http://www.jpbowen.com/ ODP description: 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. Page title: Prof. Jonathan Bowen
	Z User Group: ZUG URL: http://www.zuser.org/ ODP description: 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. Page title: Z User Group
	Community Z Tools Initiative: CZT URL: http://www.comlab.ox.ac.uk/people/andrew.martin/CZT/ ODP description: Proposed to Z community, now under discussion. Mail list archive, proposals, comments, responses. Page title: Community Z Tools Initiative
	A Comparison of Z and VDM with B/AMN URL: http://www.b-core.com/ZVdmB.html ODP description: Compares Z, Vienna Development Method (VDM), and Abstract Machine Notation (AMN) of B-Method; favors AMN. Descriptions, code samples. By B-Core, UK. Page title: B-Core (UK) A Comparison of Z and VDM with B/AMN Page description: The B-Toolkit
	The Z Notation URL: http://www.zuser.org/z/ ODP description: The World Wide Web Virtual Library entry for the Z formal specification language, providing links to resources around the world. Page title: The World Wide Web Virtual Library: The Z notation Page description: Virtual Library on-line directory for the Z notation, a formal method with tool support aimed at aiding the improved specification of computer-based systems.
	Z Family on the Web with Their UML Photos URL: http://nt-appn.comp.nus.edu.sg/fm/zml/TRA1-01.pdf ODP description: 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.
	Object-Z Page URL: http://www.itee.uq.edu.au/~smith/objectz.html ODP description: 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. Page title: The Object-Z Home Page
	MOBY URL: http://theoretica.informatik.uni-oldenburg.de/~moby/ ODP description: 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. Page title: MOBY Homepage
	Combination and Implementation of Processes and Data: from CSP-OZ to Java URL: http://csd.informatik.uni-oldenburg.de/~wehrheim/Eatcs.ps ODP description: Ph.D. thesis, University of Oldenburg, 2000. PostScript file.
	Z from FOLDOC URL: http://foldoc.org/foldoc.cgi?Z ODP description: Entry with links to several related concepts to aid learning.
	ZB2002 URL: http://www-lsr.imag.fr/zb2002/ ODP description: 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. Page title: ZB 2002