Em Engenharia de Software, determinado conceito permite que, entre dois elementos de software A e B, seja possível postular alguma mudança de A, que pediria que B fosse mudado (ou, no mínimo, cuidadosamente verificado) a fim de preservar a exatidão global, e também postular alguma mudança, que pediria que tanto A como B mudassem juntos para preservar a exatidão global. Trata-se do conceito de:
