UML类图静态模型的形式化

• 作者: 朱凯
• 来源期刊: 考试周刊
• 学科: 工学
• 关键词: UML类图 B方法 静态模型 形式化
• 年，卷（期）: 2009,（24）
• 所属期刊栏目: 信息技术教学与研究
• 页码范围: 185-186
• 页数: 2页
• 分类号: TP3
• 字数: 673字
• 语种: 中文

摘要

B方法主要是用抽象机来描述软件系统的规范说明,且有大量工具支持.UML作为新一代面向对象建模语言得到了广泛的支持,已经成为事实上的工业标准.UML图形是模型元素集合的可视化表示,类图表达了面向对象系统分析中的最基本元素--类和类之间联系,而类之间的依赖关系是类之间联系中的最重要、最普遍的一种联系.本文旨之讨论如何让用B方法来描述UML类图,从而能提高软件开发的效率、降低成本,也能改善软件工程的质量.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱凯	扬州大学信息工程学院	1	3	1.0	1.0