Este documento describe varios modelos de procesos de software, incluyendo el modelo en cascada lineal secuencial, el modelo en cascada con prototipado desechable, modelos evolutivos como el modelo incremental y el modelo en espiral de Boehm, y el modelo de desarrollo formal. Define un modelo de procesos de software como una representación abstracta de alto nivel de un proceso de software.