Vamos analisar as alternativas sobre modularização: A) "É um procedimento que sempre retorna um valor ao programa." Nem todo módulo ou subprograma precisa retornar um valor; por exemplo, procedimentos void em algumas linguagens não retornam valor. Então, essa alternativa está incorreta. B) "As variáveis definidas no escopo de cada função são acessíveis em todo programa." Variáveis locais a uma função são acessíveis apenas dentro dela, não em todo programa. Alternativa incorreta. C) "As variáveis locais são declaradas no escopo do programa inteiro." Variáveis locais são declaradas dentro de funções ou blocos, não no escopo global. Alternativa incorreta. D) "A passagem de parâmetros para um subprograma pode ser somente por valor." A passagem pode ser por valor ou por referência, dependendo da linguagem e do contexto. Alternativa incorreta. E) "É um método que consiste em decompor um programa em uma série de subprogramas individuais." Essa definição está correta e é o conceito básico de modularização. Portanto, a alternativa correta é: E) É um método que consiste em decompor um programa em uma série de subprogramas individuais.