Pflichtenheft(1): Snot

Abstract:

Version 1 (April 23, 2001)

Das Dokument beschreibt das Pflichtenheft für das Java-Fortgeschrittenenpraktikum im Sommersemester 2000. Es liegt auch in Postscriptform vor. Das Pflichtenheft wird während des Semesters dem Projektfortschritt und den getroffenen Entscheidungen angepaßt und verfeinert.

• Einleitung
• Zeitplan
• Konventionen und Spielregeln
• Graphische Benutzerschnittstelle (Gui)
• Editor
• Platzierung
• Parser
• Checks
• Simulator
• Übersetzung nach SMV
• Model-Checker
• Codegenerierung (optional)
• Hilfsprogramme
  • Pretty-Printer
• Konkrete Syntax
• Abstrakte Syntax
• Informelle Semantik
  • Zustände
  • Kommunikationsmodell und Schritte

This document was translated from L^AT_EX by H^EV^EA and H^AC^HA.