An automated design tool that accepts information about a program’s design and produces such outputs as module hierarchy diagrams, graphical representations of control and data structure, and lists of accessed data blocks.