utilidad
En este subtema se estudia cómo detallar el comportamiento
esperado de una función y las propiedades de una especificación.
La utilidad que reporta es:
- Permitir fijar a priori el resultado esperado de un programa.
- Permitir razonar (inductivamente) sobre el comportamiento de
un programa (con respecto a su resultado).
- Comparar el resultado esperado de un programa con el resultado
de su comportamiento real.