Software quality through the traceability of requirements specifications | IEEE Conference Publication | IEEE Xplore