aplicações existentes, modelos funcionais, padrões de reúso e taxonomia de classes;

aplicações existentes, modelos funcionais, requisitos atuais e taxonomia de classes;

linguagens de domínio, modelos funcionais, padrões de reúso e taxonomia de classes;

linguagens de domínio, requisitos atuais, requisitos futuros e padrões de reúso.

modelos funcionais, requisitos atuais, requisitos futuros e taxonomia de classes.

consistência com outros modelos de processo de engenharia, no qual documentação e modelos são produzidos em cada fase.

redução da interação com o usuário, colocando o foco na programação e entregando mais software útil.

criação de um modelo matemático do sistema, garatindo um programa consistente com as especificações por meio de transformações corretas

diminuição do custo de mudança nos requisitos do usuário, pela diminuição da quantidade de análise e documentação que deve ser refeita.

congelamento de partes do desenvolvimento para continuação em estágios mais avançados, o que leva a um software bem estruturado e sem truques de programação