Según Meyer, un elemento de software no es correcto ni incorrecto de por sí: "“es correcto si se comporta de acuerdo a su especificación”".