Author Login Chief Editor Login Reviewer Login Editor Login Remote Office
Method of Checking Consistency of a UML Model Based on Rewriting Logic
YIN Jianfei, GUO Heqing, OU Yuyi
Computer Engineering . 2006, (8): 23 -25,31 .  DOI: 10.3969/j.issn.1000-3428.2006.08.009