Google
 
   
Login
Username:

Password:


Lost Password?

Register now!
Search

Advanced Search
Main Menu
top books
Polls
What do you think about php-deluxe.net?
Excellent!
Cool
Hmm..not bad
What the hell is this?
encyclopedia
CeeMedia
XEmacs
Wireless Nomad Co-Op
Enterasys Networks
White box testing
Standard Generalized...
MapInfo Interchange...
recommendation
compare webbrowser
Freenet DSL
Who's Online
7 user(s) are online (7 user(s) are browsing encyclopedia)

Members: 0
Guests: 7

more...
browser tip
Unix Befehle
manual of unix befehle
recommendation!
Sponsored
partner

Community Z Tools

The Community Z Tools (CZT) project is a SourceForge project to build a set of tools for the Z notation, a formal methods useful in software engineering. Tools include support for editing, typechecking and animating Z specifications. There is some support for extensions such as Object-Z and TCOZ. The tools are built using the Java programming language.

= External links =

  • [http://czt.sourceforge.net/ SourceForge home page]
  • [http://web.comlab.ox.ac.uk/oucl/work/andrew.martin/CZT/ CZT initiative] information by Andrew Martin
  • [http://linux.softpedia.com/get/Programming/Code-Generators/Community-Z-Tools-4494.shtml Softpedia information]
  • [http://www.cs.waikato.ac.nz/~marku/papers/zb2005_czt.pdf CZT: A Framwork for Z Tools] by Petra Malik and Mark Utting (Portable Document Format)
    		•