Uma abordagem disciplinada para design de software que adere a um conjunto de regras baseadas em princípios como design top-down, refinamento passo a passo e análise de fluxo de dados especificado.