Pflichtenheft(0): Snot

Abstract:

Version 0 (23. April 2001)

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

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

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