王太勇 李明树 王永吉 徐家福 郭军 周利华 聂惠娟 周津慧

流程定制 验证 模型融合 计算机辅助设计 抽象数据类型 工作流 小波变换 转换程序

陕西西安 中国科学院研究生院 南京大学计算机科学系 南京大学计算机软件研究所 中国科学院软件研究所互联网软件技术实验室 中国科学院软件研究所计算机科学重点实验室... 西安电子科技大学计算机网络与信息安全教育... 中国科学院软件研究所计算机科学国家重点实...