precondition 0 precondición Condición que ha de satisfacerse justo antes del comienzo de la ejecución de una porción de código o de una operación. 2016-05-11 postconditionpostcondición predicatepredicado