退出
我的积分:
中文文献批量获取
外文文献批量获取
李婉璐;
宁夏大学数学计算机学院;
形式化方法; 软件方法学; 形式化的软件开发;
机译:使用图形化软件过程建模形式化对软件工程过程进行形式化
机译:实现框架的形式化以表达和推理软件工程方法
机译:致力于表达和推理软件工程方法的框架的形式化
机译:正式和非正式的软件工程方法和工具。代尔夫特大学的软件工程教育:一种形式化方法
机译:在部分可观察的环境中进行控制综合的形式化方法:在自主机器人操纵中的应用。
机译:第三本书:医疗领域的科学研究应用:软件开发方法论和用户软件工程方法论
机译:将形式化方法集成到软件工程专业硕士中
机译:软件工程中形式化方法的实验
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
机译:降低形式化水平并从部件面板中发布形式化方法的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。