Diapositiva PPT
Para cada operación, se establecen las precondiciones y las postcondiciones.
Precondición: Relación que se debe cumplir con los datos de entrada para que la operación se pueda aplicar.
Postcondición: Relaciones que se cumplen después de ejecutar la operación.
Para cada operación <nombre>:
pre-<nombre> (<param_entrada>)::= <condición_lógica>
post-<nombre> (<param_entrada><param_salida>)::= <condición_lógica>
1.3.2. Método constructivo (operacional).