J4 ›› 2007, Vol. 29 ›› Issue (1): 134-137.
• 论文 • 上一篇 下一篇
何飞 谷建华
出版日期:
发布日期:
Online:
Published:
摘要：
形式化方法B用抽象机对软件进行描述和设计,它支持严格的数学定义和证明,可以保证模型的正确性和无歧义性。UML是面向对象的建模技术,提供灵活快捷的分析与设计方式。文中通过B方法和UML在问题对象域层次上的结合,给出一种在软件设计中结合应用,提高软件质量的方法。
关键词: 统一建模语言 B方法 软件设计
Abstract:
The B Method provides the ways to design software by abstract machine notations and supports rigorous mathematical definition and verification.UML pro vides flexible and easy-to-understand ways to analyze and design according to object-oriented programming.The paper presents our experience in the B-int o-UML integration that emphasizes on the object level.
Key words: UML;B method;software design
何飞 谷建华. B方法与UML在软件设计中的结合应用[J]. J4, 2007, 29(1): 134-137.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2007/V29/I1/134
