Een type van modulaire decompositie waarin een systeem is opgesplitst in een hiërarchie van onderdelen die door een reeks van top-down verfijningen.