Einen disziplinierten Ansatz für Software-Design, das einen angegebenen Satz von Regeln basierend auf Prinzipien wie Top-Down-Konstruktion, entspricht schrittweise Verfeinerung und Datenflußanalyse.