En automatisert utformingsverktøy som godkjenner informasjon om et program design og produserer slike utganger som modul hierarki diagrammer, grafiske fremstillinger av kontrollen og data struktur, og lister med tilgang til datablokker.