O processo de analisar um programa existente, num esforço para criar uma r...

O processo de analisar um programa existente, num esforço para criar uma representação do programa em um nível de abstração maior do que o código-fonte, é conhecido por