吴向阳 何俊梅 林向宇 吴相林 朱红康 贾晓琳 杨建梅 覃征 余雪丽 何坚 林添荣 杜雷鸣 王宁 陈迎欣 蒋建民 王敬昌 马于涛 杨自强 冯秀芳 马力 王东 王浩 王洪波 李咏波 钟良吉 嵇敏 李劲华 万江平 文海英 朱旭东

Hoare逻辑 方法论 随机petri网 软件工程过程组 可行性分析 规划算法 蒙特卡洛仿真 重用 RUXP 软件过程改进 复杂性度量 设计空间 需求工程 文档开发过程 软件质量 统一过程 能力成熟度模型 构造性成本模型 仿真模型 遗传算法 人工智能 需求 定量技术 模糊运算 关键实践 基于范例推理 过程管理 形式化 过程性能基线 过程模型