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


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

Die grundsätzlichen Funktionen sind
  1. ein graphischer Z-Editor
  2. 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.
An der Uni-Koblenz gibt es noch alte Versionhttp://www.uni-koblenz.de/~winter/Lehre/SS01/ZEves/ZEves.html

Installation

Windows

  1. Pyton installieren: py152.exe starten und Installationsdialoge quittieren.
  2. Z/EVES installieren:
    1. Das selbstentpackende Archiv z-eves-pc-windows-acl-2.1.exe in ein temporäres Verzeichnis kopieren und dort starten. Es werden die Installationsdateien ausgepackt.
    2. Im temporären Verzeichnis das Programm SETUP.EXE starten.
    3. Irgendwann wird nach dem Verzeichnis von Python gefragt. Normalerweise ist es das Verzeichnis C:\Programme\Python.
    4. Irgendwann wird gefragt, ob Tcl/Tk installiert werden soll. Normalerweise JA.
  3. tcl80.dll und tk80.dll von C:\Programme\Tcl\Bin nach C:\Programme\Python\DLLs kopieren.
  4. Z/EVES starten: Start->Programme->Z-EVES 2.1->Z-EVES-GUI
UNIX

Die Installationspakete und Hinweise finden Sie unter 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

    • Beispiele Kleine Beispielspezifikationen (z.B. Birthdaybook) befinden sich im Verzeichnis examples unter dem Z/EVES-Installationsverzeichnis.

    Kurzanleitung

    Im Prinzip arbeitet man bei Z/EVES mit zwei unterschiedlichen Fenstern. Beim Start befindet man sich im Spezifikationsfenster. Die einzelnen Abschnitte werden im Editorfenster bearbeitet.
     
    Spezifikationsfenster
    Abb. 1: Spezifikationsfenster
    Editorfenster
    Abb. 2: Editorfenster

    Kleine Beispiel-Session:

    1. Programm starten (Start->Programme->Z-EVES 2.1->Z-EVES GUI  bzw. z-eves-gui)
    2. Neuer Paragraph einfügen:

      3. Edit->New Paragraph
    3. Leere Schemabox einfügen:

      4. Edit->Schema Box
    4. Text tippen, Sonderzeichen und Rahmenelemente durch anklicken der Buttons
    5. Editor verlassen:

      6. File->Done
    1. Spezifikation testen:

      2. Kontextmenu->Check up to here
    2. Fehler anzeigen:

      3. Kontextmenu->Show errors
    3. Paragraph nachbearbeiten:

      4. Kontextmenu im Paragraph->Edit
    1. Spezifikationsdokument drucken:
      1. Als RTF-Dokument exportieren

        2. File->Export
        Optionen: RTF, no Scripts
      2. RTF-Dokument in WinWord laden und Spezifikationen mit erläuterndem Text erweitern.
     
      Michael Ritzschke, 05.2010