Un type de décomposition modulaire dans laquelle un système est décomposé en une hiérarchie de composants grâce à une série de raffinements de haut en bas.