Un tipo di scomposizione modulare in cui un sistema è suddiviso in una gerarchia di componenti attraverso una serie di perfezionamenti top-down.