Un tipo de descomposición modular en la que un sistema se compone de una jerarquía de componentes a través de una serie de refinamientos de arriba hacia abajo.