Un outil de conception automatisée qui accepte des informations sur la conception du programme et produit ces sorties comme les diagrammes de hiérarchie de module, les représentations graphiques de la structure de contrôle et de données et les listes des blocs de données accessibles.