Un enfoque disciplinado para diseño de software que se adhiere a un conjunto de reglas basadas en principios tales como diseño descendente, refinamiento progresivo y análisis de flujo de datos especificado.