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