退出
我的积分:
中文文献批量获取
外文文献批量获取
傅震宇; 岑雄鹰;
宁波大学信息科学与工程学院计算机科学与技术系;
XML; 多粒度; 自适应; 动态工作流;
机译:动态软件更新的行为正确性的形式化和验证
机译:利用纯度依赖漂移和扩散对雪熔动动态布朗流程模型的布朗函数研究
机译:方法对目标分配的分配任务的参数形式化的研究和软件开发
机译:软件体系结构的形式化描述方法
机译:缩放自动验证:建立高完整性软件的案例研究和形式化IDE
机译:ROCKETSHIP:灵活的模块化软件工具用于计划处理和分析动态MRI研究
机译:向后兼容动态软件更新的形式化研究
机译:面向领域并行软件开发的形式化研究
机译:用于软件开发企业的软件测试设计和执行方法,涉及到对软件测试领域和组成测试单元的研究,其中对测试材料中的必要性进行研究
机译:用户界面行为描述方法,使用其的用户界面设备,软件评估方法和软件生成方法
机译:多维特征空间中基于矩阵形式化接近度的自动化系统识别信息图像相似度研究
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。