退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:灵活的形式实践经验,具有敏捷形式的方法
Philipp Kant; Kevin Hammond; Duncan Coutts; James Chapman; Nicholas Clarke; Jared Corduan; Neil Davies; Javier Díaz; Matthias Güdemann; Wolfgang Jeltsch; Marcin Szamotulski; Polina Vinogradova;
机译:FM + AM'09:形式方法和敏捷方法研讨会
机译:作为成本有效的适航性认证过程的形式敏捷方法的回顾
机译:使用正式方法应对智能制造系统的性能挑战:关注敏捷性
机译:敏捷形式方法的灵活形式实践经验
机译:集成非正式和正式的需求方法:一种使用空间参考数据的系统的实用方法。
机译:实践经验:采用敏捷方法结合看板进行虚拟现实开发
机译:正式方法是否准备好敏捷。现实检查
机译:螺杆特性测试装置和经验学习方法,以及使用该方法的实用技能教育方法
机译:开发和实施用于正式描述包括多个分布式组件,尤其是智能柔性生产和/或过程自动化系统的协作系统的模型的方法
机译:用于开发和实施模型以正式描述包括多个分布式组件的协作系统的方法,特别是智能柔性生产和/或过程自动化系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。