Disseny iteratiu · 4.1
Invariants
L'invariant és el que és cert a cada volta del bucle. Si el tries bé, el codi gairebé s'escriu sol.
Conceptes clau
- Invariant d'un bucle
- Inicialització
- Condició de sortida
- Cos del bucle
Disseny iteratiu · 4.1
L'invariant és el que és cert a cada volta del bucle. Si el tries bé, el codi gairebé s'escriu sol.