退出
我的积分:
中文文献批量获取
外文文献批量获取
王晓峰; 赵瑞莲;
北京化工大学计算机科学系;
北京100029;
面向对象程序; EFSM规范; 测试覆盖准则;
机译:用于生产系统分析的面向对象仿真软件的模糊多准则选择
机译:利用Delta建模抽象行为规范将面向对象系统转换为软件产品线。
机译:基于常规软件开发的面向对象的超链接结构设计,规范和实现方法
机译:安全关键软件的功能测试覆盖范围的准则和相关工具
机译:规则规范语言和Java面向对象的语言之间的比较,用于开发分布式系统(西班牙语文本)。
机译:考虑故障排除效率和错误产生的测试覆盖软件可靠性模型
机译:评估面向对象和面向服务的软件开发范例的内部软件质量属性:比较研究
机译:面向对象软件工程中形式化规范的验证与验证
机译:车辆乘客保护系统的控制方法,例如安全气囊,涉及通过根据碰撞规范选择的算法模型将特征和/或准则的过程与参考曲线进行比较
机译:用于设计Java 2平台企业版应用程序服务器的运行时环境,当程序规范被编译为面向对象的编程语言再见代码时,具有自动运行的软件组件
机译:用于软件规范的证明重用支持设备,用于软件规范的证明重用支持方法以及用于软件规范的证明重用支持程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。