Web Hosting cheap web hosting services web site hosting
ODSOL Premium Web Hosting Services web page hosting
ODSOL Premium Web Hosting Services ODSOL Premium Web Hosting Services ODSOL Premium Web Hosting Services
ODSOL Premium Web Hosting Services business web hosting
web hosting company Home web hosting reseller web hosting low cost web hosting
ecommerce web hosting
web hosting
affordable web hosting
Domain Lookup
company web site hosting
web hosting
web hosting
web hosting
 
 
 
 
 
 
 
 
 
 
 
ODSOL Premium Web Hosting Services
ODSOL Premium Web Hosting Directory > Others > Programming > Languages > Z [+] Express Link Addition/Removal
ODSOL Premium Web Hosting
Sub-categories: Books

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.

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.

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.

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.

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.

Z from FOLDOC
Entry with links to several related concepts to aid learning.

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.

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

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.

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.

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]

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.

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.

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.

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.

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.

Results: Previous 1 2 3 4 5 Next

( Add Your Site )


More Directory Categories:

» Advertising
» Affiliate Program
» Business
» Computers
» Construction
» Consulting
» Education
» Entertainment
» Financial Services
» Food
» Forum
» Furniture
» Gambling
» Games
» Garden
» Graphic Design
» Hardware
» Health
» Home
» Human Resources
» Internet
» ISP
» Law
» Marketing
» Mortgage
» Music
» News
» Others
» Personal Site
» Portal
» Real Estate
» Recreation
» Search Engine Optimization
» Security
» Shopping
» Society
» Software
» Sports
» Telecommunications
» Transportation
» Travel
» Web Design
» Web Hosting Directory
» Web Hosting Guide
» Web Hosting Providers
» Web Hosting Reviews
» Web Marketing
» Web Template
» Webmaster Resources
» World


Directory > Others > Programming > Languages > Z
ODSOL Premium Web Hosting ODSOL Premium Web Hosting
web hosting
lowcost web hosting
web hosting Site map - Terms of Service - Contact Us
Home | Domain Name | Web Hosting | Ecommerce Hosting | Reseller Hosting | VDS | Dedicated Server | FAQ | Support | Link Exchange
Cheap Web Hosting | Cheap Web Hosting Review | Web Site Hosting | Web Page Hosting | Professional Web Hosting | Credit Card Processing Services
osCommerce Web Hosting | Cheap Web Hosting | Web Hosting osCommerce | Virtual Private Server | Ecommerce Web Hosting |
christian web hosting web hosting web site hosting
web page hosting free web hosting