Diferencia entre revisiones de «Postcondición»

En [[programación]], una '''postcondición''' es una condición o [[Lógica de primer orden|predicado lógico]] que siempre debe cumplirse justamente después de la ejecución de una sección de código o de una operación ([[especificación formal]]). Las postcondiciones se prueban a veces mediante [[aserción (programación)|aserciones]] incluidas en el código. A menudo, las postcondiciones se incluyen simplemente en la documentación de la correspondiente sección de código.

 

*[[Diseño por Contrato]]

*[[Lógica de Hoare]]

*[[Trigger (base de datos)|Disparador (Bases de datos)]]