ESEMPIO
Problema: scrivere un programma che, dato un vettore di N interi, determini il valore massimo.
Specifica di I livello: Inizialmente, si assuma come massimo di tentativo il primo elemento. Poi, si confronti via via il massimo di tentativo con gli elementi del vettore: nel caso se ne trovi uno mag-giore del massimo di tentativo attuale, si aggiorni
mi = max(mi-1 , v[i]) _ mi _ v[0],v[1]..v[i]
mn-1 _ v[0],v[1]…v[n-1] cioč mn-1 č il max cercato.