The B Method-into-UML Integration in Software Design
Jianhua Gu · Computer Engineering and Science · 2007
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.