计算机工程与应用2002，Vol.38Issue(10)：5-7,46,4.
UML类图的形式化及分析
A Formalization and Analysis of UML Class Diagram
摘要
关键词
统一建模语言 对象约束语言 Z 形式化方法分类
信息技术与安全科学引用本文复制引用
韦银星,张申生,曹健..UML类图的形式化及分析[J].计算机工程与应用,2002,38(10):5-7,46,4.基金项目
国家863高技术研究发展计划/CIMS项目资助(编号:2001AA415310) （编号:2001AA415310）
国家自然科学基金项目资助(编号:60073035) （编号:60073035）
