pre-requirements specification traceability