Las post-condiciones, junto con las pre-condiciones, permiten describir la función que realiza un proceso dentro de un sistema, sin especificar un algoritmo determinado.

Las post-condiciones describen lo que debe darse cuando el proceso ha concluido: las salidas que produce un proceso, relaciones entre los valores de salida y entrada, relación entre los valores de salida y los valores en los almacenes, cambios en los almacenes, etc.


Relacionados:
• pre-condición.
• Especificación de procesos.