B方法与UML在软件设计中的结合应用

• 作者: 何飞 谷建华
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 统一建模语言 B方法 软件设计
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 研究与实现
• 页码范围: 134-137
• 页数: 4页
• 分类号: TP311
• 字数: 2444字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2007.01.042

摘要

形式化方法B用抽象机对软件进行描述和设计,它支持严格的数学定义和证明,可以保证模型的正确性和无歧义性.UML是面向对象的建模技术,提供灵活快捷的分析与设计方式.文中通过B方法和UML在问题对象域层次上的结合,给出一种在软件设计中结合应用,提高软件质量的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谷建华	西北工业大学软件学院	72	696	15.0	22.0
2	何飞	西北工业大学软件学院	8	45	5.0	6.0