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