The Unified Modelling Language (UML) and the Object Constraint Language (OCL) serve as specification languages for embedded and realtime systems used in a safe tycritical environment.In this dissertation class diagrams, object diagrams,...

Mit der Entwicklung von TEX wurde nicht unbedingt Wert auf die grafischen Fähigkeiten des Systems gelegt. TEX selbst verfügt daher nur über rudimentäre grafische Elemente, die mit der Einführung von L A TEX zwar erweitert wurden, aber...

Welches Paket, welcher Befehl, welche Syntax? Dieses Buch zeigt, wie man einfache Gleichungen oder umfangreiche mathematische Abhandlungen erstellen kann. Anhand vieler Beispiele wird erläutert, wie das Layout von Formeln in einer...

Die Reihe beschäftigt sich mit Realisierungs- und Zuverlässigkeitsaspekten komplexer Software-Systeme. Den Schwerpunkt bilden konkrete Handlungsgrundsätze und implementierungsnahe Techniken für Informationssysteme und wissensbasierte...

Mit LaTeX lassen sich Dokumente in höchster Qualität erstellen, die den Vergleich mit professionell hergestellten Dokumenten nicht scheuen müssen. Von einfachen Briefen bis hin zu dem, was Sie gerade in der Hand halten, ist die Anwendung...

Welches Paket, welcher Befehl, welche Syntax? Mit LATEX lassen sich Präsentationen von hoher Qualität erzeugen. Zusätzlich kann das Satzsystem TEX benutzt werden, um auf einfache Weise animierte Folien zu erstellen. Dieses Buch zeigt,...

Welcher Befehl, welcher Wert, welcher Parameter? Diese Referenz soll das Suchen vereinfachen, indem es kurz und knapp die allgemeine Syntax der LaTeX-Umgebungen und -Makros eben so erläutert, wie die Bedeutung der verschiedenen Längen-...

METAPOST von John D. Hobby ist eine graphische Programmiersprache und ein Compiler/Interpreter zur Erzeugung von qualitativ hochwertigen Graphiken. Die Ausgabe erfolgt als Vektorgraphik im PostScript-Format. Das Buch zeigt aus der Sicht...

Wissenschaft und TEX TEX wurde vor mehr als 35 Jahren für das Erstellen von Dokumenten im wissenschaftlichen Bereich erstellt. Anfänglich nur für Manuskripte von mathematisch orientierten Büchern geschaffen, wurde das Satzsystem TEX sehr...

Welcher Editor, welches Programm, welche Dokumentenklasse, welches Paket? Mit LaTeX lassen sich Textverweise auf Quellenangaben und deren Ausgabe in jeder noch so komplizierten Anordnung erstellen. Dieses Buch soll das Suchen nach...

Mit LaTeX lassen sich Tabellen jeder noch so komplizierten Anordnung erstellen. Dieses Buch soll das Suchen nach Paketen für die Erstellung von Tabellen erleichtern. Dabei wird detailliert gezeigt, welche Möglichkeiten sich dadurch...