Fortalecimiento y Debilitamiento de pre y post condiciones
He estado investigando sobre el tema de Diseño por Contrato y hasta ahora tengo las siguientes notas: Cuando se fortalece una condición, significa hacerla más restrictiva y debilitar una condición es lo opuesto. La precondición de una subclase es más débil o igual que su superclase. La postcondición de una . . . Read more