Una metodologia di progettazione utilizzata per applicazioni business basando la progettazione sulle strutture dati logico della specifica del programma. Gli esempi includono i metodi di progettazione del sistema di Jackson e Warnier-Orr.