Bug#180473: RFP: zeta -- tools to process specifications written in Z
Package: wnpp
Severity: wishlist
* Package name : zeta
Upstream Author : Wolfgang Grieskam <wg@cs.tu-berlin.de>
* 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
Reply to: