机译:基于三元图语法的模型同步:正确性,完整性和可逆性
Interdisciplinary Center for Security, Reliability and Trust, Universite du Luxembourg, Luxembourg, Luxembourg;
Institut fuer Softwaretechnik und Theoretische Informatik, Technische Universitaet Berlin, Berlin, Germany;
Departament de Llenguatges i Sistemes Informatics, Universitat Politecnica de Catalunya, Barcelona, Spain;
Generative Software Development Lab, University of Waterloo, Waterloo, Canada;
Generative Software Development Lab, University of Waterloo, Waterloo, Canada;
Key Laboratory of High Confidence Software Technologies (Peking University) Ministry of Education, Beijing, China ,Institute of Software, School of Electronics Engineering and Computer Science Peking University, Beijing, China;
Interdisciplinary Center for Security, Reliability and Trust, Universite du Luxembourg, Luxembourg, Luxembourg;
Interdisciplinary Center for Security, Reliability and Trust, Universite du Luxembourg, Luxembourg, Luxembourg;
Model synchronization; Correctness; Bidirectional model transformation; Triple graph grammars;
机译:避免不必要的信息丢失:基于三格图谱的正确和有效的模型同步
机译:负应用条件下基于三重图文法的模型转换的完整性和正确性
机译:基于三图语法的EMF模型转换的可视化建模和分析
机译:基于三重图文法的动态转换,模型转换的正确性和完整性
机译:利用基于硬件的线程调度和同步来提高基于图的应用程序的性能
机译:断层扫描重建多伪影同步(SMART-RECON):一种基于统计模型的迭代图像重建方法可消除时间分辨CT中的有限视野伪影并减轻时间平均伪影
机译:基于三重图语法的模型同步:正确性,完整性和可逆性
机译:用抽象图语法构造规范决策模型