Please enable JavaScript.

Coggle requires JavaScript to display documents.

TADS, Adolfo Alba 8-967-396 - Coggle Diagram

- - - - deben cumplir los parámetros que una función recibe, para que esta se comporte correctamente.
    - - son las condiciones que cumplirá el valor de retorno, y los parámetros recibidos, en caso de que hayan sido alterados, siempre que se hayan cumplido las precondiciones.
    - - Las condiciones son aseveraciones. Es decir, afirmaciones realizadas en un momento particular de la ejecución sobre el estado computacional.
        
        Pre y post condiciones