电子科技大学学报2010，Vol.39Issue(2)：289-292,4.DOI:10.3969/j.issn.1001-0548.2010.02.029
可视化UML模型验证环境研究
Research on Visual UML Model Verification Environment
摘要
关键词
对象约束语言/规约/UML模型/验证Key words
object constraint language/specification/unified modeling language/verification分类
信息技术与安全科学引用本文复制引用
付茂洺,王悠..可视化UML模型验证环境研究[J].电子科技大学学报,2010,39(2):289-292,4.基金项目
国家自然科学基金(60879022/F01) （60879022/F01）
