摘要
形式化方法B用抽象机对软件进行描述和设计,它支持严格的数学定义和证明,可以保证模型的正确性和无歧义性。UML是面向对象的建模技术,提供灵活快捷的分析与设计方式。文中通过B方法和UML在问题对象域层次上的结合,给出一种在软件设计中结合应用,提高软件质量的方法。
The B Method provides the ways to design software by abstract machine notations and supports rigorous mathematical definition and verification.UML provides flexible and easy-to-understand ways to analyze and design according to object-oriented programming.The paper presents our experience in the B-into-UML integration that emphasizes on the object level.
出处
《计算机工程与科学》
CSCD
2007年第1期134-137,共4页
Computer Engineering & Science
