Z/EVES

1. ein graphischer Z-Editor und
2. ein Checker zur Syntax- und Typüberprüfung der Spezifikation.

Download und Installation

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:

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

Installation unter Linux oder Solaris

1. Python sollte installiert sein
• Linux: Als RPM-Paket von der Linux-CD
• Solaris: kann nachinstalliert werden (python-1.5.2.tgz)
2. Tcl/Tk (Version 8.0) sollte installiert sein
• Linux: Als RPM-Pakete von der Linux-CD
• Solaris: kann nachinstalliert werden (tcltk-8.0.5.tgz).
3. Installationsverzeichnis erstellen (Beispiel):

sh> mkdir /home/NOBODY/ZEves
sh> cd /home/NOBODY/ZEves

4. Installationspaket in das Installationsverzeichnis kopieren:
• Linux: z-eves-pc-linux-gcl-2.1.tgz
• Solaris: z-eves-sparc-sunos-gcl-2.1.tgz
5. Installationspaket auspacken:
• Linux:

sh> tar xzf z-eves-pc-linux-gcl-2.1.tgz

• Solaris:

sh> gunzip -c z-eves-sparc-sunos-gcl-2.1.tgz | tar xf -

6. Start-Scripte anpassen:
1. Im Verzeichnis ZEves/System gibt es zwei Script-Dateien (z-eves.sh, z-eves-gui.sh). Diese kann man in ein Verzeichnis kopieren, welches in der PATH-Variable steht.
2. In beiden Dateien das Installationsverzeichnis und den Namen des ausführbaren Programms eintragen:
• Linux:

zevesdir=/home/NOBODY/ZEves
zeves=z-eves-pc-linux-gcl

• Solaris:

zevesdir=/home/NOBODY/ZEves
zeves=z-eves-sparc-sunos-gcl

3. Den Fontpath für den X-Server erweitern, damit der Z-Font gefunden wird. Ich habe das in die Scriptdatei z-eves-gui.sh eingetragen. Es wird zuerst geprüft, ob der Z-Font schon im Fontpath gefunden wird. Wenn nicht, dann wird der Fontpath erweitert:

...
zlibdir=$zevesdir/library/

if xlsfonts | grep -q 'jones-zed-medium-r-normal' ; then
  :
else
  xset +fp $zevesdir/zedfont
fi
...

7. Nun kann das Programm gestartet werden:

sh> z-eves-gui.sh

Dokumentation

Beispiele

Kurzanleitung

Abb. 1: Spezifikationsfenster

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:

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

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

File->Done

1. Spezifikation testen:

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

Kontextmenu->Show errors
3. Paragraph nachbearbeiten:

Kontextmenu im Paragraph->Edit

1. Spezifikationsdokument drucken:
1. Als RTF-Dokument exportieren

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