State Key Laboratory for Novel Software Technology Department of Computer Science Technology Nanjing University, 210093 Nanjing, China ATLAS team, INRIA LINA Nantes University, 44300 Nantes, France;
ATLAS team, INRIA LINA Nantes University, 44300 Nantes, France;
ATLAS team, INRIA LINA Nantes University, 44300 Nantes, France;
State Key Laboratory for Novel Software Technology Department of Computer Science Technology Nanjing University, 210093 Nanjing, China;
机译:寻求一种基于MDE类型的Web服务的中介协议的形式验证的方法
机译:MDE中静态软件模型的形式验证:系统回顾
机译:通过过程模型的形式验证来教授MDE
机译:基于MDE的桥接正式模型方法
机译:基于组件的方法来验证和确认正式软件模型。
机译:使用基于认知模型的方法测试ADHD的神经科学理论的正式预测
机译:基于域的体系结构组件建模的MDE方法。