Integration von VDM Anwendungsbeispielen
Online-Dokumentation der Diplomarbeit
Aktuelle Textprozessorprojekte
Der Text der Diplomarbeit selbst wurde unter WinWord 6.0 erstellt, und im RTF-Format abgelegt. Zur Konvertierung dieses Formates in gültiges TeX\ -Eingabeformat wurde ein einfaches Konverterprogramm erstellt, das LL(1) ist und die Umsetzung von Umlauten, Sonderzeichen, der Gliederungen und Schriftauszeichnungen vornimmt. Alle weiteren TeX Kommandos wurden direkt in den Text eingebettet und durch entsprechende Sonderbefehle des Konverters unverändert übertragen.
Abbildungen wurden mit Visio Technical 4.0 gestaltet, mit Photoshop 3.0 bearbeitet und im EPS-Format abgelegt. Die Erstellung des Textes erfolgte durch EmTeX 3.0 von Eberhard Mattes. Abbildungen wurden mit Hilfe der TeX -Umgebung des Postscript-Treibers dvips in der Version 5.58 eingebunden und mit gleichem Treiber zum Druck für einen Tintenstrahldrucker unter Verwendung von Ghostscript vorbereitet.
Bei der Texterstellung haben sich unter Beachtung der Eigenschaften des gewählten Konverters latex2html von Nikos Dragos folgende Ziele und obligatorischen Einschränkungen ergeben.
Die Geschwindigkeit der Darstellung eine HTML-Seite durch den Web-Browser hängt neben der Größe der Seite selbst im wesentlichen von den Dateigrößen der verwendeten Bilder ab. Auch wenn der Konverter von Nikos Dragos die durchweg als positiv anzusehende Strategie verfolgt, LaTeX -Elemente, die nicht direkte in HTML umgesetzt werden können, als Bild in die Seite einzufügen, sollte dieser Ersatz nach Möglichkeit reduziert werden, da der erstmalige Zugriff auf HTML-Seiten über das WAN bei einer Vielzahl von Bildern zur Geduldsprobe werden kann. Nach dem Erstzugriff werden die Bilder in der Regel durch den Browser lokal im Cache zwischengespeichert, womit sich ein Neuübertragung für eine gewisse Zeit erübrigt.
Die LaTeX -Stilvorlage der Texte muß für einseitige Formatierung ausgelegt sein, beispielsweise durch die Verwendung von article. Doppelseitige Stilvorlagen wie book werden duch den Konverter nicht verarbeitet. Nachteilig ist ferner, daß der Host, auf dem Web-Server ausgeführt wird, vor der Übersetzung in der Konfigurationsdatei des Umsetzers festgelegt werden muß, und die URLs der Zieldokumente auf diesen verweisen, so daß für die Übertragung auf einen anderen Host eine Umsetzung der URLs erforderlich ist.
Das LaTex2HTML Paket von Nikos Dragos, enthält eine detailierte in TeX erstellte Dokumentation, die ein Benutzerhandbuch, bekannte Probleme als auch ,,Troubleshooting`` enthält. Auf eine Wiedergabe des Inhaltes wird daher verzichtet, und auf das Originaldokument verwiesen.
Bei der Texterstellung wurde auf Umdefinitionen von Umgebungen und Befehlen
mit
renewcommand oder renewenvironment verzichtet, um eine
äquivalente Umsetzung durch den Übersetzer in HTML nicht zu behindern. Der
Text benutzt auschließlich Befehle von LaTeX2.09, der selbsterstellte
RTF in LaTeX Prozessor produziert Ausgaben, die kein deutsche Stilvorlage
voraussetzen, auch wenn dies von latex2html unterstützt wird.
Integration von VDM Anwendungsbeispielen
Online-Dokumentation der Diplomarbeit
Aktuelle Textprozessorprojekte
VDM Class Library