机译:在用OCL注释的Alloy规格和UML类图之间进行转换
机译:将货叉规格转换为逻辑程序
机译:青年企业的配置和创业导向使用明晰的定性比较分析重新研究理论规范
机译:将rtpa规范转换为Java程序的案例研究
机译:面向功能的机械设计系统中的功能规格到概念形式转换工具的框架。
机译:机械剥离β-Ga2O3薄膜上Mo / Au肖特基接触的实验和理论研究
机译:集合理论问题规范在有效Ram代码中的机械翻译 - 一个案例研究
机译:apGaN和RpmC:将Dsp方框图转换为高效软件实现的互补启发式方法。