Una metodología de diseño que se utiliza para aplicaciones de negocios, basando el diseño de las estructuras de datos lógico de la especificación del programa. Ejemplos incluyen los métodos de diseño de sistemas de Jackson y Warnier-Orr.