the National Natural Science Foundation of China under Grant No.60773152 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant Nos.2007AA010301-01, 2007AA01Z127 (国家高技术研究发展计划(863)); the National Basic Research Program of China under Grant No.2005CB321805 (国家重点基础研究发展计划(973)); the National Key Technology R&D Program of China under Grant No.2006BAH02A02 (国家科技支撑计划); the Key Laboratory of High Confidence Software Technologies for the Ministry of Education of China under Grant No.HCST200802 (高可信软件技术教育部重点实验室开放研究基金)
刘辉,麻志毅,邵维忠.一种基于图转换的模型重构描述语言.软件学报,2009,20(8):2087-2101
复制