On Combination of Formal Method B with UML
Hong Zhang · Journal of Nantong Vocational & Technical Shipping College · 2008
The formal method B can just compensate those disadvantages of UML. It is significant to improve the reliability of software through combining formal method B with UML. This paper gives a way to transfer UML diagram into B specifications.