Una técnica de desarrollo de software en la que datos y pasos de procesamiento se definen ampliamente al principio y luego se describe con mayor detalle.