A design methodology used for business applications by basing the design on the logical data structures of the program specification. Examples include the Jackson System Design and Warnier-Orr methods.