退出
我的积分:
中文文献批量获取
外文文献批量获取
谭力;
华东师范大学;
情态演算; 形式化验证; 自动生成; 软件工程; 软件生命周期; 统一建模语言;
机译:UML仍然不一致!如何改善UML 2.3上层结构中的OCL约束
机译:UML40DP:计算元模型中的接口的OCL 2.0约束规范和UML建模
机译:OCL-Lite:基于UML / OCL概念模式的有限推理
机译:OCL约束UML类图的自动生成
机译:基于完善和纠正性的基于UML模式的设计维护,具有信息系统的设计约束。
机译:美国国家癌症研究所词库基于UMLS概念的基于拓扑模式的建议
机译:自动生成OCL约束:基于NL的方法与基于模式的方法
机译:UmL设计和自动生成的代码:问题和实用解决方案
机译:pr&t .; fmedium用于研究oberfl和auml的抗药性; chen,with pr&t .; fmedium a probek&all;研究oberfl&auml的抵抗力的身体和装置;陈
机译:Gartar演算演算演算演算演算
机译:基于网络建模,在自动机网络中自动生成嵌入式分布式控制应用程序,使用功能的UML建模和数据通信来驱动自动代码生成器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。