Community Z Tools

Community Z Tools

The CZT Community Z Tools (CZT) project is a SourceForge project to build a set of tools for the Z notation, a formal method 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.

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


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Community marketing — Marketing Key concepts Product marketing · Pricing …   Wikipedia

  • Community — For other uses, see Community (disambiguation). A community of interest gathers at Stonehenge, England, for the summer solstice. The term community has two distinct meanings: a group of interacting people, possibly living in close proximity, and… …   Wikipedia

  • Community informatics — (CI), also known as community networking, electronic community networking, community based technologies or community technology refers to an emerging field of investigation and practice concerned with principles and norms related to information… …   Wikipedia

  • Community media — is any form of media that is created and controlled by a community, either a geographic community or a community of identity or interest. Community media is separate from commercial media, state run media, or public broadcasting. The fundamental… …   Wikipedia

  • Community emergency response team — Abbreviation CERT Formation 1993 Parent organization Citizen Corps Website www.citizencorps.gov/cert I …   Wikipedia

  • Community building — is a field of practices directed toward the creation or enhancement of community among individuals within a regional area (such as a neighborhood) or with a common interest. It is sometimes encompassed under the field of community development. A… …   Wikipedia

  • Community counselor — Community counselors provide counselling for traumatized communities in the aftermath of large scale natural disasters. They are trained in basic psychological techniques but are not necessarily professional psychologists. While the concept of… …   Wikipedia

  • Community-based monitoring — (CBM) is a form of public oversight, ideally driven by local information needs and community values, to increase the accountability and quality of social services or to contribute to the management of ecological resources. Within the CBM… …   Wikipedia

  • Community film — is a variety of practices and approaches which emerged in the 1970s that claim to interrogate and challenge the dominant use of film and cinema in association with a global, big budget industry . DeeDee Halleck noted in her 2002 book It s one… …   Wikipedia

  • Community driven development — (CDD) is a development initiative that provides control of the development process, resources and decision making authority directly to community groups. The underlying assumption of CDD projects are that communities are the best judges of how… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”