Een Ontwerpmethodologie gebruikt voor zakelijke toepassingen door het ontwerp baseert op de logische datastructuren van de programma-specificatie. Voorbeelden zijn de methoden Jackson systeemontwerp en Warnier-Orr.