机译:基于MDE的桥接不同设计符号的方法
MDE; UML; Formal methods; LOTOS;
机译:基于MDE的桥接不同设计符号的方法
机译:基于
机译:D
机译:保证案例驱动的计算机系统设计:图形符号与数学方法
机译:在面向对象开发中使用的图形符号方法的分析,设计和分层中的认知转移效率研究。
机译:通过对设计的Kemp消除酶KE59的稳定性和熟练度进行进化优化来弥合设计方法学的空白
机译:本设计和LRFD方法设计全预制桥梁子结构系统的设计比较
机译:被动卫星阻尼器的设计和测试,用于在非常小的角度极限的情况下稳定旋转卫星