A formal approach to software components classification and retrieval | IEEE Conference Publication | IEEE Xplore