Imagem de fundo

A Relação Equivalência Forte de Programas (EFP) define que um par de programas pertence...

A Relação Equivalência Forte de Programas (EFP) define que um par de programas pertence à relação se as correspondentes funções computadas coincidem para

A

uma dada máquina. Tal EFP fornece subsídios à análise do acoplamento por controle entre módulos.

B

um par de máquinas que não podem simular-se mutuamente. Tal EFP fornece subsídios para a construção da coesão sequencial entre módulos.

C

um par de máquinas que podem simular-se mutuamente. Tal EFP fornece subsídios para a construção da coesão comunicacional entre módulos.

D

uma dada máquina. Tal EFP fornece subsídios à análise da complexidade estrutural de programas.

E

qualquer máquina. Tal EFP fornece subsídios à análise da complexidade estrutural de programas.