Glossaris

f Modalitat d’especificació de TAD que estableix, per a cada operació de la signatura del TAD, quina és la condició que s’ha de complir per a poder-la executar (precondició) i quina és la condició que es compleix un cop s’ha executat (postcondició).