The ReqIF specification handles both requirements objects as well as traces between requirement objects. Requirements and traces are strongly typed objects; attributes can be defined for both requirements and traces.

All requirements and traces are listed respectively in the SPEC-OBJECTS extent and the SPEC-RELATIONS extent tags.