Programmazione = decomposizione basata su astrazioni