O tipo de desenvolvimento que trabalha com o conceito de refinamento de descrições do programa em distintos níveis de abstração, que é uma das estratégias mais utilizadas nos projetos de software, é o desenvolvimento