next up previous contents
Next: Anforderungen an die Brainfuck-IDE Up: Pflichtenheft Previous: Anforderungen an eine Integrierte   Contents

Anforderungen an einen Compiler

  1. Offenheit um Sinne von frei verfuegbaren Quellen
  2. Nachweisbare Korrektheit bezueglich Vor- und Nachbedingungen


Robert Hoehndorf 2001-01-22