Using Semantic Inference for Software Understanding and Design Recovery | IEEE Conference Publication | IEEE Xplore