计算机工程2009，Vol.35Issue(19)：43-45,3.
基于SHOIN(D)的UML类图形式化方法
Formalization Method for UML Class Diagram Based on SHOIN(D)
摘要
关键词
UML类图/描述逻辑/描述逻辑SHOIN(D)/形式化分类
信息技术与安全科学引用本文复制引用
陈振庆..基于SHOIN(D)的UML类图形式化方法[J].计算机工程,2009,35(19):43-45,3.基金项目
广西青年科学基金资助项目"描述逻辑及其在语义Web中的应用"(桂科青0640030) （桂科青0640030）
