An Object-oriented System Research Based on Language B
Ding Xiang-ling · Computer Knowledge and Technology · 2008
After analysing B language and object oriented method,the paper presents an object-oriented formal specification language named B+,which is an extension of B also.B+ overcomes the shortage of B language which doesn't have mechanism to describe a series of example variable and uncertain behavior.