Wykazującego do projektowania oprogramowania, który zgodny jest określony zestaw przepisów opartych na zasadach projektowania Góra dół, uszczegółowienie stopniową i przepływ danych analizy.