Un tipus de descomposició modular en el qual un sistema es desglossa en una jerarquia dels components a través d'una sèrie de refinaments de dalt a baix.