Richtlinien (II)

• Blockstruktur:
  • jeder Teilbereich hat genau einen Ein- und einen Ausgang
  • und erfüllt einen Vertrag (wenn Vorbedingung zutrifft, dann ist nach Ausführung die Nachbedingung wahr)
• Lokalität der Daten: Programmbereiche, die bestimmte Daten benutzen, sollten
  • wenig überlappen
  • den Kontrollbereichen entsprechen