QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 限定条件 发表日期：2006    专题：北京大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Towards the formal model and verification of web service choreography description language 其他 2006-01-01 Zhao, Xiangpeng; Yang, Hongli; Qiu, Zongyan 收藏  |  浏览/下载：3/0  |  提交时间：2015/11/13 Towards the formal model and verification of web service choreography description language 其他 2006-01-01 Zhao Xiangpeng; Yang Hongli; Qiu Zongyan 收藏  |  浏览/下载：0/0  |  提交时间：2015/11/16 GATEST: 使用遗传算法自动生成模拟矢量的验证平台 期刊论文 北京大学学报 自然科学版, 2006 易江芳; 佟冬; 程旭 收藏  |  浏览/下载：1/0  |  提交时间：2015/11/11 路径覆盖率  数据流分析  遗传算法  模拟矢量自动生成   GATEST: a validation platform of automatic simulation vectors generation using genetic algorithms 期刊论文 北京大学学报 自然科学版, 2006 Yi, Jiangfang; Tong, Dong; Cheng, Xu 收藏  |  浏览/下载：1/0  |  提交时间：2015/11/17 Automatic atom type and bond type perception in molecular mechanical calculations 期刊论文 分子图示法与模型杂志, 2006 Wang, Junmei; Wang, Wei; Kollman, Peter A.; Case, David A. 收藏  |  浏览/下载：2/0  |  提交时间：2015/11/11 atom type perception  bond type perception  antechamber  residue topology  force field parameters  general AMBER force field (GAFF)  FORCE-FIELD  CONFORMATIONAL ENERGIES  EFFICIENT GENERATION  RESP METHODOLOGY  AM1-BCC MODEL  NUCLEIC-ACIDS  PARAMETERIZATION  MMFF94  VALIDATION  GEOMETRIES   An approach to test data generation for killing multiple mutants 其他 2006-01-01 Liu, Ming-Hao; Gao, You-Feng; Shan, Jin-Hui; Liu, Jiang-Hong; Zhang, Lu; Sun, Jia-Su 收藏  |  浏览/下载：2/0  |  提交时间：2015/11/13 unit testing  mutation testing  test data generation  adequacy criterion  SOFTWARE TEST DATA