退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:一种帮助在面向对象程序测试的代数规范中构造公理左侧的方案
Huo YC; Tse TH; Lin T;
机译:TESTAF:使用面向对象的正式规范进行类测试的测试自动化框架
机译:从面向对象的形式规范综合逻辑程序
机译:顺序面向对象程序的规范和验证挑战
机译:一种方案,可以帮助构造面向对象的程序测试代数规范中公理的左侧的结构
机译:使用正式需求规范的面向对象程序测试。
机译:胃肠道转录因子驱动器官规范和癌症中特定于世系的发育程序
机译:面向对象程序测试的代数规范中aach左手边辅助构造方案
机译:通信过程代数(aCp)tau:用于过程规范的通用公理系统
机译:测试规范准备支持装置,测试规范准备方法,数据库的构造方法以及测试规范准备程序
机译:试验规范生成装置,试验规范生成方法和试验规范生成程序
机译:测试规范创建程序,测试规范创建设备和测试规范创建方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。