PRECONDICIONES
Y
POSCONDICIONES
Sirven
para
escribir
la
____________________
de
forma
____________________
Si
el
cliente
cumple
la
precondición
la
implementación
asegura
la
poscondición
-
Una
____________________
es
una
declaración
que
establece
____________________
____________________
(
qué
es
cierto
)
se
deben
____________________
sobre
el
estado
del
____________________
o
los
____________________
de
una
función
o
método
____________________
de
que
pueda
____________________
correctamente
.
Se
produce
en
la
implementación
especialmente
en
los
____________________
Tiene
que
ver
con
el
____________________
del
____________________
sobre
el
que
se
ejecuta
el
método
.
-
Una
____________________
es
una
____________________
sobre
lo
que
es
____________________
____________________
de
que
la
____________________
/
____________________
____________________
.
Está
relacionada
con
los
____________________
que
____________________
el
estado
del
____________________
