A type of modular decomposition in which a system is broken down into a hierarchy of components through a series of top-down refinements.