基于UML和Z的软件体系结构求精方法及其应用

• 作者: 张广泉 祝义
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: UML Z 软件体系结构 求精 形式化方法
• 年，卷（期）: 2006,（5）
• 所属期刊栏目: 学术探讨
• 页码范围: 59-62
• 页数: 4页
• 分类号: TP311
• 字数: 3104字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.05.019

摘要

论文探讨了如何将可视化建模语言UML和形式化描述语言Z集成而得到一种新的求精方法,寻求一种在软件体系结构求精过程中UML到Z的映射与转换机制.最后通过使用这个新的求精方法对一个实例求精来描述整个求精过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广泉	苏州大学计算机科学与技术学院	147	1056	16.0	25.0
3	祝义	徐州师范大学计算机科学与技术学院	21	198	8.0	13.0