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