Μια μεθοδική προσέγγιση στο σχεδιασμό λογισμικού, που είναι προσκολλημένο σε ένα καθορισμένο σύνολο κανόνων που βασίζεται στις αρχές όπως η σχεδίαση άνω-κάτω, ρυθμιζόμενοι τελειοποίηση, και ανάλυση της ροής δεδομένων.