En automatiseret designværktøj, der accepterer oplysninger om et program design og producerer sådanne output som modul hierarki diagrammer, grafiske repræsentationer af kontrol og datastrukturen, og lister over blokke adgang til data.