形式化与UML结合的建模方法及其应用

• 作者: 肖美华 舒良春
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: UML Z 形式化方法 软件体系结构建模
• 年，卷（期）: 2009,（7）
• 页码范围: 5167-5169
• 页数: 3页
• 分类号: TP311

摘要

首先阐述了形式化方法与可视化方法的优缺点，并在此基础上提出软件体系结构形式化与可视化UML互补的建模方法，主要探讨UML和Z结合的建模过程，并用一个系统开发实例进行展示。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	肖美华	南昌大学计算中心	27	313	8.0	17.0
2	舒良春	南昌大学计算中心	3	13	2.0	3.0