论文研究基于Büchi自动机的UML模型一致性研究 .pdf
基于Büchi自动机的UML模型一致性研究，张自强，刘林霞，随着UML在系统建模中的广泛使用，模型间的一致性问题越来越突出。目前解决此问题的形式化方法主要是将UML模型转换为现有检测工具的
下载地址
用户评论
