Institut fuer Softwaretechnik und Theoretische Informatik, TU Berlin, Germany,Interdisciplinary Center for Security, Reliability and Trust, University du Luxembourg;
Institut fuer Softwaretechnik und Theoretische Informatik, TU Berlin, Germany;
Institut fuer Softwaretechnik und Theoretische Informatik, TU Berlin, Germany;
Departament de Llenguatges i Sistemes Informatics,Universitat Politecnica de Catalunya, Barcelona, Spain;
model synchronization; conflict resolution; model versioning; cor rectness; bidirectional model transformation; triple graph grammars;
机译:避免不必要的信息丢失:基于三格图谱的正确和有效的模型同步
机译:基于三元图语法的模型同步:正确性,完整性和可逆性
机译:基于三图语法的EMF模型转换的可视化建模和分析
机译:使用三图语法的增量并发模型同步
机译:将图模型用于冲突解决方案应用于北部网关管道冲突。
机译:基于选项优先级的冲突图改进图形模型及其应用
机译:基于三重图语法的模型同步:正确性,完整性和可逆性
机译:基于sTG展开的信号插入和并发约简解码编码冲突