Sobre as práticas de arquitetura de software, é correto afirmar que

a) pré-condições, em programação por contrato, correspondem às classes de equivalência, bem como aos valores limites (se existirem) para os parâmetros de um método ou função.
b) a inversão de controle é o processo de alterar um software de uma maneira que não mude o seu comportamento externo e ainda melhore a sua estrutura interna.
c) a injeção de dependências é uma boa opção, quando a estrutura interna do software começa a perder um pouco de sua integridade.
d) o princípio da refatoração diz respeito à definição de entidades do mundo real a partir da criação de classes.
e) representam os resultados esperados, quando a execução na programação por contrato variantes ocorreu de forma de correta.