Procede per composizione di componenti e funziona-litý elementari, fino alla sintesi dellíintero algoritmo (ìdal dettaglio allíastrattoî)