Glossaris

Formalització de l’enunciat d’un problema.

---

Reescriptura de l’enunciat d’un problema de manera que es relacionen les variables d’entrada del cos de l’algorisme que cal solucionar amb les de sortida. D’aquesta manera es té clar quins són els objectius del disseny que cal efectuar i a partir de quines condicions. Consta de precondició i postcondició.