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.

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.

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.

o princípio da refatoração diz respeito à definição de entidades do mundo real a partir da criação de classes.

representam os resultados esperados, quando a execução na programação por contrato variantes ocorreu de forma de correta.