Pflichtenheft (1): Snot

Abstract:

Version 1 (2. Mai 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 entsprechend den getroffenen Entscheidungen angepaßt und verfeinert.

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

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