Package: wnpp Severity: wishlist * Package name : zeta Upstream Author : Wolfgang Grieskam <[EMAIL PROTECTED]> * URL : http://uebb.cs.tu-berlin.de/zeta/ * License : GPL Description : set of tools for developing Z specifications
ZETA is an open environment for the development of specification documents based on Z. It provides an integration framework for tools to edit, analyse and animate Z specifications and formalisms which are mapped to Z. It - contains the Z parser and type checker ESZ version 3 which (nearly) implements the Final Committee Draft of the Z Standard - integrates the TeX engine and provides a powerful Z-LaTeX style - contains the ZAP version 2 tool for executing Z specifications, which is based on techniques of concurrent constraint resolution, and implements functional and logic computation features - provides a Java-based abstract representation of Z for data-integration of tools, and is easily extendable by Java-written plug-ins - contains a comfortable Emacs-based GUI - contains a Java-based GUI
