基于Object-Z的UML对象模型的形式化

• 作者: 杨卫东 蔡希尧
• 来源期刊: 计算机科学
• 学科: 工学
• 年，卷（期）: 2000,（2）
• 所属期刊栏目: 软件工程
• 页码范围: 60-63
• 页数: 4页
• 分类号: TP3
• 字数: 3427字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2000.02.016

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蔡希尧	西安电子科技大学软件工程研究所	10	51	5.0	7.0
2	杨卫东	西安电子科技大学软件工程研究所	9	106	5.0	9.0