Uma ferramenta de design automatizado que aceita informações sobre o projeto de um programa e produz tais saídas como diagramas de hierarquia de módulo, representações gráficas de estrutura de dados e controle e listas de blocos de dados acessados.