Um tipo de decomposição modular, na qual um sistema é dividido em uma hierarquia de componentes através de uma série de refinamentos top-down.