The B Method-into-UML Integration in Software Design

HE Fei,GU Jian-hua
DOI: https://doi.org/10.3969/j.issn.1007-130x.2007.01.042
2007-01-01
Abstract: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.
What problem does this paper attempt to address?