No modelo de desenvolvimento de quarta geração (4G), a especificação do software é feita em um nível menos elevado que o do desenvolvimento em espiral, o que permite a análise do código gerado por uma ferramenta auxiliar.