退出
我的积分:
中文文献批量获取
外文文献批量获取
朱冰; 梅宏;
不详;
软件开发; 规范说明语言; 形式化法; 程序自动生成;
机译:软件开发过程中功能需求的形式化
机译:将形式化方法集成到医疗软件开发中:ASM方法
机译:方法对目标分配适用的分配任务的参数形式化的研究和软件开发
机译:将形式化分析集成到基于模型的软件开发过程中
机译:形式化和改进正式的折衷软件开发方法
机译:第三本书:医疗领域的科学研究应用:软件开发方法论和用户软件工程方法论
机译:高效的全系统影响分析方法及其在软件开发过程中的应用=高效的全系统影响分析方法及其在软件开发中的应用
机译:软件开发中的形式化方法与社会语境
机译:拉伸和接收织构过程中形成聚酯单胞,织构聚酯单键的方法所采用的形成和缠绕聚酯单胞的方法农业开发音频系统软件开发人员软件开发软件开发软件系统软件开发软件软件开发软件软件开发软件软件开发软件软件开发软件
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。