退出
我的积分:
中文文献批量获取
外文文献批量获取
梁正平; 毋国庆; 喻超;
中国计算机学会;
软件需求; 需求工程; 形式化技术;
机译:使用模糊逻辑对信息系统的软件需求进行形式化
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:开发用于形式化软件需求的支持工具
机译:软件需求工程:经验和新技术
机译:不同固液萃取技术获得的马齿Leaves叶片抗氧化成分的分析与比较
机译:系统分析和形式化弱形式化控制对象的技术量的相互作用
机译:将选定用户优先支持纳入空军可恢复中央水准系统的替代技术分析与比较
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
机译:自动化技术中通过形式化合同和程序验证来解决最终用户程序变更的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。