Design-code traceability for object- oriented systems