The CZT Community Z Tools (CZT) project is a SourceForge

SourceForge

SourceForge Enterprise Edition is a collaborative revision control and software development management system. It provides a front-end to a range of software development lifecycle services and integrates with a number of free software / open source software applications .While originally itself...

 project to build a set of tools for the Z notation

Z notation

The Z notation , named after Zermelo–Fraenkel set theory, is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general.-History:...

, a formal method

Formal methods

In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...

 useful in software engineering

Software engineering

Software Engineering is the application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software, and the study of these approaches; that is, the application of engineering to software...

. Tools include support for editing, typechecking and animating Z specifications. There is some support for extensions such as Object-Z

Object-Z

Object-Z is an object-oriented extension to the Z notation developed at the University of Queensland, Australia.Object-Z extends Z by the addition of language constructs resembling the object-oriented paradigm, most notably, classes...

 and TCOZ. The tools are built using the Java programming language

Java (programming language)

Java is a programming language originally developed by James Gosling at Sun Microsystems and released in 1995 as a core component of Sun Microsystems' Java platform. The language derives much of its syntax from C and C++ but has a simpler object model and fewer low-level facilities...

.

CZT was proposed by Andrew Martin in 2001. "To establish an internet-based community project to build a framework for Z tool integration and ultimately numerous plug-in tools."[AM2001]

External links

• CZT SourceForge website
• CZT initiative information by Andrew Martin
• Softpedia information
• CZT: A Framework for Z Tools by Petra Malik and Mark Utting (PDF
  Portable Document Format
  Portable Document Format is an open standard for document exchange. This file format, created by Adobe Systems in 1993, is used for representing documents in a manner independent of application software, hardware, and operating systems....
  
  )
• AM2001 Proposal