胡启敏 薛锦云 徐静 熊筱芳 钟旗 郑燚 谢冰 叶茂盛 乐兵 郑焱 漆强

规约重写 软件工程 软件体系结构 版本 变化点 完全格 软件重构 依赖注入 软件工程环境 软件复用 面向对象框架 PSEE 基于构件的软件开发 形式化方法

江西南昌 江西师范大学计算机信息与工程学院 北京大学计算机系CASE研究室 江西省广播电视学校 江西师范大学文学院 中国科学院软件研究所计算机科学重点实验室 南昌高等专科学校计算机系 江西师范大学计算机信息工程学院