孙雷 金芝 邹彪 曹莹 顾耀林 张哲 许建军

需求不一致性的管理 一致性测试 需求描述 非照相真实感 网络协议 纹理映射 基于图像绘制 分片图画 形式化方法 需求工程 簇集图画

中国石油大学（北京）计算机科学与技术系 地球探测与信息技术北京市重点实验室 中国科学院计算技术研究所 北京100080中国科学院研究生院 中国标准化研究院 北京100080中国科学院数学与系统科学...