计算机工程与应用2000，Vol.36Issue(6)：86-89,4.
基于COOZ对UML的类结构的形式化
Towards A Formalization of UML Class Structures in COOZ
摘要
关键词
统一模型语言UML/COOZ/面向对象的模型分类
信息技术与安全科学引用本文复制引用
庞军,王云峰,郑国梁..基于COOZ对UML的类结构的形式化[J].计算机工程与应用,2000,36(6):86-89,4.基金项目
该文的研究工作得到国家自然科学基金69673006和"九五"攻关项目98-780-01-07-06的资助 （）
