会议论文《基于答案集程序设计的UML模型图推理方法》发表于2008全国软件与应用学术会议（NASAC08）。该文提出一种利用答案集程序设计（Answer Set Programming）技术对UML模型图进行形式化推理的方法，旨在提高软件建模的准确性和自动化程度。通过将UML结构转化为逻辑程序，实现对模型的一致性检查与推理分析，为软件工程领域提供了一种新的形式化验证手段。
文档为pdf格式，0.34MB，总共5页。
举报
