Model-Driven Development; Ecore; Code Generation; Java; Reverse Engineering; Model Transformation;
机译:Symbolic PathFinder:将符号执行与模型检查集成在一起,以进行Java字节码分析
机译:用于增量开发流程的工程工具的基于模型的后验集成
机译:JAVA代码生成过程中基于JDT的动态分析集成方法
机译:关于Ecore模型和手写Java代码的A-后验集成
机译:通过混合和分布式分析提高并发Java代码的定向模型检查的可伸缩性。
机译:混合多语言对象模型:Dalvik虚拟机上Java和本机组件的高效无缝集成
机译:用于增量开发流程的工程工具的基于模型的后验集成
机译:Enterprise JavaBeans(Tm)组件集成框架的形式化建模