退出
我的积分:
中文文献批量获取
外文文献批量获取
牛欣源; 马聪;
北京信息科技大学计算机学院,北京100101;
软件自动维护; 规范检查模型; 代码走查; Perl脚本语言; C语言编程规范;
机译:运营和本体论规范编程语言的规范
机译:编程语言设计与实现中的面向对象软件规范
机译:使用统计模型开发高风险证书考试考试规范,以与整体判断模型的考试规范进行比较
机译:数据数据流和模型规范用于连接多级固定收费问题的数据数据流和模型规范简要介绍35(2021)106931
机译:关于将编程语言用于Petri Net模型的文本规范的使用
机译:规范语言类型检查器的设计与实现。
机译:用于软件操作规范的模型检查支持设备,具有相同功能的模型检查系统以及模型检查支持程序
机译:在薄膜显示器中设置检查规范的方法,用于检查薄膜显示器的装置和方法以及用于在薄膜显示器中设置检查规范的样品
机译:基于扩展的无上下文语法测试规范模型和新型测试生成算法的基于规范的测试中的路径覆盖标准
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。