- 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
Johannes Waldmann
2007-01-23