A crucial task throughout the entire development life cycle is requirements traceability, which is concerned with linking requirements in which one is a refinement of the other.
one is given a set of high-level (coarse-grained) requirements and a set of lowlevel (fine-grained) requirements, and the goal of requirements traceability is to find for each highlevel requirement all the low-level requirements that refine it.