Experiments in the use of XML to enhance traceability between object-oriented design specifications and source code | IEEE Conference Publication | IEEE Xplore