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


Z/Eve

Z/EVES

Anleitung zur Nutzung

Ritzschke, 26.05.09

(Quelle: http://www.uni-koblenz.de/~winter/Lehre/SS01/ZEves/ZEves.html)


Inhalt

  • Download und Installation (Windows)
  • Dokumentation
  • Kurzanleitung
    •
    Z/EVES ist ein Werkzeug zum Bearbeiten von Z-Spezifikationen. Die grundsätzlichen Funktionen sind
    1. ein graphischer Z-Editor und
    2. ein Checker zur Syntax- und Typüberprüfung der Spezifikation.
       

    Download und Installation

    Z/EVES ist für die Lehre frei verfügbar.

    Installation unter Windows 95/98/2000/NT

    1. Pyton installieren:
      1. 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. Danach muss man die DLL-Dateien tcl80.dll und tk80.dll aus dem Verzeichnis C:\Programme\Tcl\Bin in das Verzeichnis C:\Programme\Python\DLLs kopieren.
    4. Nun kann man Z/EVES starten:

      5. Start->Programme->Z-EVES 2.1->Z-EVES-GUI

    Installation unter Linux oder Solaris

    Eine Installationsanleitung für Linux oder Solaris und die Installationspakete finden Sie unter dem oben angegebenen Link der Universität Koblenz..

    Dokumentation

    Die Handbücher zu Z/EVES sind als als PDF-Dateien im vorhanden.
     
    Z/EVES Reference Manual
    97-5493-03d.pdf
    Software Manual for Windows Z/EVES
    97-5505-04g.pdf
    Z/EVES 2.0 Mathematical Toolkit
    99-5493-05b.pdf
    Z/EVES 2.0 User's Guide
    99-5493-06a.pdf
    Z/LaTeX reference card
    refcard.pdf

    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.
    1Kontextmenu: Im Fenster die rechte Maustaste drücken. Siehe Beispiel