O modelo espiral é um modelo evolucionário de processo de software que combina a prototipagem com o modelo em cascata. Contudo, a incerteza em relação ao número de ciclos necessários para construir o projeto, leva tal abordagem a empregar o modelo de métodos formais para viabilizá-lo.