Projektbericht

• Projektbericht (PostScript (PS))
  

• Projektbericht (Portable Document Format (PDF))
  

Dokumente zu CSP (Concurrent Sequential Processes)

• CSP Quick Reference (PostScript)
  kurze Auflistung der Symbole von CSP und der Semantik der CSP-Operatoren

Dokumente zu Z

• Z Notationen (PostScript)
  Auflistung aller Z-Symbole mit kurzer Erklärung
• Z-Example No.1 (PostScript)
  Beispiel aus dem ersten Z-Vortrag (Class Managers Assistant)
• Z-Example No.2 (PostScript)
  Beispiel aus dem zweiten Z-Vortrag (Relationen, Funktionen)

Dokumente zu CVS (Concurrent Versions System)

• CVS Quick Reference (PostScript)
  kurze Anleitung zum Gebrauch von CVS anhand von Beispielen

Dokumente zu ASpecT

• Quick Starter
  
• User Manual