软件重构技术研究

本书主要介绍作者近十年从事软件重构方面的研究工作成果。在重构层次上，主要包括模型重构与代码重构；在重构阶段上，主要包括重构机检测、重构调度以及重构正确性验证等。该系列研究成果具有较高的学术价值，其中部分成果已经在国际顶级期刊和国际顶级会议上进行了简要的介绍，具有一定的国际影响力。本书可供相关人员参考使用。