Research on Metamodels Consistency Verification Based on Formalization of Domain-Specific Metamodeling Language
JIANG Tao (江涛), WANG Xin (王新)
Research on Metamodels Consistency Verification Based on Formalization of Domain-Specific Metamodeling Language
JIANG Tao (江涛), WANG Xin (王新)
上海交通大学学报(英文版) . 2012, (2): 171 -177 .  DOI: 10.1007/s12204-012-1248-2