Nächste Seite: Modulare Programmierung
Aufwärts: Software-Technik
Vorherige Seite: Richtlinien zur Algorithmenkonstruktion
- 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
2004-01-30