The systematic decomposition of system requirements into allocated and derived requirements, appropriately assigned to low-level functional components.