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
期刊:
Workshop on New Approaches to Software Construction 2005
影响因子:
--
通讯作者:
Takeaki Uno
Takeaki Uno
中科院分区:
--
文献类型:
--
作者:
Ken Satoh;Ken Kaneiwa;Takeaki Uno

文献摘要

相似文献