|
Top/Computers/Programming/Languages/Z |
|
Z : |
| 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 Jean-Raymond Abrial, it has been developed by the Programming Research Group (PRG) at the Oxford University Computing Laboratory (OUCL), and elsewhere, since the late 1970s. It is public domain, under ISO/IEC Z Standard 13568:2002, and Z symbols are part of Unicode character encoding. |
| Associated Categories for
Z |
|
|
|
19 web sites matced for Z |
|
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.
|
|
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.
|
|
Z from FOLDOC
|
Entry with links to several related concepts to aid learning.
|
|
Community Z Tools Initiative: CZT
|
Proposed to Z community, now under discussion. Mail list archive, proposals, comments, responses.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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]
|
|
The Z Notation
|
The World Wide Web Virtual Library entry for the Z formal specification language, providing links to resources around the world.
|
|
Combination and Implementation of Processes and Data: from CSP-OZ to Java
|
Ph.D. thesis, University of Oldenburg, 2000. PostScript file.
|
|
Bowen, Jonathan
|
London South Bank University - Formal methods, history of computing, online museums.
|
|
| |
| Web Site Directory - powered by Dmoz |
Arts
Movies, Television, Music... |
Business
Jobs, Real Estate, Investing... |
Computers
Internet, Software, Hardware... |
Games
Video Games, RPGs, Gambling... |
Health
Fitness, Medicine, Alternative... |
Home
Family, Consumers, Cooking... |
News
Media, Newspapers, Weather... |
Regional
US, Canada, UK, Europe... |
Science
Biology, Psychology, Physics... |
Shopping
Auctions, Clothing, Gifts... |
Society
People, Religion, Issues... |
Sports
Baseball, Soccer, Basketball... |
| |
|
|
|
|
Sponcer Links
|
Live Chat
mioot Live chat system help you to track your web site visitor in real time and enable live chat features with your web site visitor.
|
|
miOOt Technologies is an Indian based software company offering complete onsite offshore software development solutions with high end technologies and standard. |
| |
|
|
|
