Consistency Check and Minimal Update for a UML Class Diagram Using Logic Programming
Consistency Check and Minimal Update for a UML Class Diagram Using Logic Programming
复制标题
使用逻辑编程对 UML 类图进行一致性检查和最小更新
DOI:
--
复制
发表时间:
2005
期刊:
影响因子:
--
通讯作者:
Takeaki Uno
中科院分区:
文献类型:
--
作者:
Ken Satoh;Ken Kaneiwa;Takeaki Uno