jasminecorp.net directory
Updated Blogs
Computer Support Blog
Essensial Software for Web Based Support
HP Server and Desktop
HP ILO - Remote Tech-Support Software
More .....



 
 

| Add Search | Advertise With JCSearch | Suggest a Site

Search the Web


Search Results

Z
Directory > Computers > Programming > Languages > Z

Categories
 
Books (18)

Web Sitesi

The Z Notation
The World Wide Web Virtual Library entry for the Z formal specification langugae, providing links
to resources around the world.

http://www.zuser.org/z/
Reviews Rating: Not yet Rated Whois Check

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]

http://uebb.cs.tu-berlin.de/zeta/
Reviews Rating: Not yet Rated Whois Check

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.

http://theoretica.informatik.uni-oldenburg.de/~moby/
Reviews Rating: Not yet Rated Whois Check

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.

http://www.b-core.com/ZVdmB.html
Reviews Rating: Not yet Rated Whois Check

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.

http://www-lsr.imag.fr/Les.Groupes/pfl/RoZ/
Reviews Rating: Not yet Rated Whois Check

PiZA
Prolog Z Animator tool. Typesets Z specifications via LaTeX program, input in pleasant ASCII
format, output in many LaTeX flavors. Converts Z subset to Prolog and executes them (poorly
documented). Input syntax example, download, documents, links.

http://www.noodles.demon.co.uk/PiZA/PiZAHome.html
Reviews Rating: Not yet Rated Whois Check

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.

http://www.jpbowen.com/
Reviews Rating: Not yet Rated Whois Check

Z/EVES
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.

http://www.ora.on.ca/z-eves/
Reviews Rating: Not yet Rated Whois Check

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.

http://www-lsr.imag.fr/zb2002/
Reviews Rating: Not yet Rated Whois Check

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.

http://web.comlab.ox.ac.uk/oucl/research/groups/zstandards/
Reviews Rating: Not yet Rated Whois Check

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.

http://nt-appn.comp.nus.edu.sg/fm/zml/TRA1-01.pdf
Reviews Rating: Not yet Rated Whois Check

Combination and Implementation of Processes and Data: from CSP-OZ to Java
Ph.D. thesis, University of Oldenburg, 2000. PostScript file.
http://theoretica.informatik.uni-oldenburg.de/~fischer/cspoz2java.ps
Reviews Rating: Not yet Rated Whois Check

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.

http://www.comp.nus.edu.sg/~dongjs/tcoz.html
Reviews Rating: Not yet Rated Whois Check

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.

http://www.itee.uq.edu.au/~smith/objectz.html
Reviews Rating: Not yet Rated Whois Check

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.

http://www.tucs.fi/zb2003/
Reviews Rating: Not yet Rated Whois Check

Community Z Tools Initiative: CZT
Proposed to Z community, now under discussion. Mail list archive, proposals, comments, responses.
http://web.comlab.ox.ac.uk/oucl/work/andrew.martin/CZT/
Reviews Rating: Not yet Rated Whois Check

Z from FOLDOC
Entry with links to several related concepts to aid learning.
http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?Z
Reviews Rating: Not yet Rated Whois Check

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.

http://www.zuser.org/
Reviews Rating: Not yet Rated Whois Check

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.

http://www.afm.sbu.ac.uk/z/
Reviews Rating: Not yet Rated Whois Check

 


Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp.

©2004 Jasmine Computers Inc.

Click here to subscribe for Jasminecorp's product News.

Home | JCBid |Software Development | Domain Registration | Hosting | Web Designing | Buy Books | Advertise with JCSearch | Whois | IP Locator | Add Search | Shopping | Store | Free Blogs | Free GuestBook | Free E-Cards | Free Games | Free Tutorials | Set as Home | Add to Favorite | Suggest a Site | Directory | Our Portfolio | Terms of service | Free quote | Tell a Friend | Special Offer | Job Opportunities | games | Usenet Groups

Submit a Site to Jasminecorp.net Directory || Advertise with us

 

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Get a Domain Name:
.com .us .info
.org .in .name
.net .biz .asia