Metodologia de disseny que utilitza per a aplicacions empresarials per basant el disseny en les estructures de dades lògica de l'especificació de programa. Exemples inclouen els mètodes de disseny de sistemes de Jackson i Warnier-Orr.