机译:基于模板的AADL自动代码生成
Beihang Univ State Key Lab Software Dev Environm Beijing 100083 Peoples R China;
Beihang Univ State Key Lab Software Dev Environm Beijing 100083 Peoples R China;
State Grid Corp China Beijing 100031 Peoples R China;
Beijing China Power Informat Technol Co Ltd State Grid Informat & Telecommun Grp Beijing 100192 Peoples R China;
Beihang Univ State Key Lab Software Dev Environm Beijing 100083 Peoples R China;
real-time system; template; formal methods; AADL; automatic code generation;
机译:基于模板的AADL自动代码生成
机译:用于媒体处理器的基于模板的自动数据流代码生成
机译:利用学术课本中基于模板的对称特征自动生成印度尼西亚问题的5W-1H开放域
机译:从AADL模型自动生成基于ARINC653的航空电子软件的RT-Java代码
机译:自动测试用例生成具有用于编码接口和注释或使用本机代码编码的程序的动态符号执行
机译:使用基于模板的稳健方法自动标记椎骨水平
机译:petriCode:CpN模型中基于模板的代码生成工具