Institut für Informatik > Softwaretechnik  >  HK: Software Engineering  >  Werkzeuge


Z/Eves Z/EVES - ein Werkzeug zum Bearbeiten von Z-Spezifikationen.

Es bietet sowohl einen graphischer Z-Editor, als auch Syntax- und Typüberprüfung der Spezifikation.


Verfügbarkeit

Bis 2005 wurde Z/EVES von ORA Canada vertrieben. Für Lehre und Forschung war es kostenfrei.

Z/EVES läuft unter Windows, Linux und Solaris.

An der Universität Koblenz-Landau gibt es noch eine alte Version http://www.uni-koblenz.de/~winter/Lehre/SS01/ZEves/ZEves.html


Dokumentation

  • Z/EVES Reference Manual
  • Software Manual for Windows Z/EVES
  • Z/EVES 2.0 Mathematical Toolkit
  • Z/EVES 2.0 User's Guide
  • Z/LaTeX reference card

    •  
      Olga Schiemangk, 05.2010