刘骄剑 王书亭 葛临东 程筱胜 陈意云 李兆鹏 钟毅芳 华保健 俞烽 闫崇京 苏艳 张素敏 宋燕 陈立平 肖杰华 谢亚楠 刘金山 蒋信予 廖文和

类型检查 元素特征 软件无线电 图论 连续域蚁群算法 实例检索 网络攻防 软件安全 CPCI接口 优选模型 重构 调整流程 有向图 逻辑模型 产生式规则 工作流 虚拟装配 仿真类库 汇编语言 多色图 运行时间 零件信息模型 行为建模 计算机辅助夹具设计 高可信软件 调整机制 程序验证 过程管理 建模 类型系统

南京航空航天大学机电学院 华中科技大学机械科学与工程学院 南京信息职业技术学院机电学院 华中科技大学国家CAD支撑软件工程技术研... 铁岭市卫生监督所 安徽合肥 中国科学技术大学计算机科学与技术系 中国航天科工集团公司第三研究院