退出
我的积分:
中文文献批量获取
外文文献批量获取
张红燕; 杨根兴; 蔡立志;
华东理工大学计算机科学与工程系;
上海;
200237;
上海市计算机软件评测重点实验室;
201112;
形式化语言; Z规格; 软件测试; 可复用测试用例; 测试用例库;
机译:基于GeneNet数据库中形式化描述的基因网络方案自动生成
机译:基于Pro / E的注塑模参数化模库的研究与实现。
机译:评估PhysioNet心电图(ECG)存储库作为基于ECG的生物识别技术的测试用例的通用性和适用性
机译:活动数据库的形式化描述
机译:基于光纤布拉格光栅和衍射光栅的可复用气体和化学传感器。
机译:基于序列的无凭证真菌的形式化描述:承诺和陷阱以及如何解决它们
机译:通过可复用性案例发现并解决安全可复用性
机译:基于测试用例的贝叶斯知识库不完备性检测与修正方法
机译:用于从测试用例数据库中计划合格的测试用例的测试设备,方法和计算机可读介质。
机译:基于模型的控制设备的测试用例生成设备和测试用例生成方法
机译:基于用例图的测试用例生成程序以及使用该程序的测试用例生成方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。