退出
我的积分:
中文文献批量获取
外文文献批量获取
吴妍; 阳国贵; 石文渊; 晏庆;
国防科技大学,计算机学院,湖南,长沙,410073;
测试规范; 测试模板框架; 形式化规范;
机译:具有差分几何的四维形式化的规范框架无差异运输算子
机译:基于形式化描述技术的规范自动生成测试
机译:扩展测试模板框架以对交互式系统进行基于规范的测试
机译:规范目标框架或收益目标框架;差距大还是智能重叠? =规范框架或收益框架;大滞后还是智能叠加?
机译:中医知识的形式化组织和使用的本体框架
机译:使用形式化规范测试面向对象软件的框架
机译:基于形式化规范的数据抽象测试系统评估
机译:测试规范创建程序,测试规范创建设备和测试规范创建方法
机译:组合测试案例规范的方法,组合测试案例规范的程序和组合测试案例规范的设备
机译:测试规范创建程序测试规范创建设备和测试规范创建方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。