El documento describe tres modelos de desarrollo de software: 1) El modelo cascada ordena estrictamente las etapas del proceso de desarrollo. 2) El desarrollo evolutivo es un modelo iterativo que permite desarrollar versiones cada vez más completas hasta alcanzar el objetivo. 3) El desarrollo formal utiliza técnicas matemáticas para automatizar el desarrollo de sistemas y asegurar que sean correctos según las especificaciones.