La funzione di astrazione 3
la funzione di astrazione deve sempre essere definita ed inserita come commento all’implementazione
- perché è una parte importante delle decisioni relative all’implementazione
il problema è che non abbiamo una rappresentazione esplicita dei valori astratti
diamo (nella OVERVIEW) la descrizione di un tipico stato astratto
esempi
- nella definizione della funzione di astrazione, useremo la notazione del linguaggio di programmazione