Software Component Reuse Using Formal Methods & k-nn Technique. - Simarjot Singh; Rajesh Kumar Bhatia (Software Engineering Research and Practice, 2003)