Ofrece más que una simple validación del cumplimiento de los requisitos, también puede guiar el diseño de un programa.