Min Deng, R. E. Kurt Stirewalt, Betty H. C. Cheng. Retrieval by Construction: a Traceability Technique to Support Verification and Validation of Uml Formalizations. International Journal of Software Engineering and Knowledge Engineering, 15(5):837-872, 2005. [doi]
Abstract is missing.