Uma técnica de desenvolvimento de software em que dados e etapas de processamento são amplamente definidas em primeiro lugar e então ainda mais definidas com o aumento do detalhe.