Foro de Laboratorio

Hola, en una pre o post condición, pueden considerar que siempre disponen de la fecha actual, como si fuera una variable global que está actualizada. Tener en cuenta que son expresiones lógicas que tomarán un valor de verdad en el instante de tiempo en que se evalúan. No veo que haya que imponer una precondición.

Respecto a los productos no enviados, el dato está disponible en un atributo. Tampoco veo claro que sea una precondición.

Más detalles sobre estas dos cosas pueden verlos en los monitoreos.

Saludos