Metodologia emprada per a escriure programes segons la qual aquests són dividits en mòduls, cadascun dels quals té funcions ben definides i és sotmès a certes restriccions i convencions, sobretot quant als paràmetres utilitzats i les condicions d’enllaç.