一种B语言描述的需求模型到PIM的转换方法
曾一, 王艳丽, 洪媛, 王健, 刘引
An Approach to the Transformation from the Requirement Model Described by the B Language
to the PlatformIndependent Model
ZENG Yi, WANG Yan-Li, HONG Yuan, WANG Jian, LIU Yin
J4
.
2010, (3): 85
-88
.
DOI: 10.3969/j.issn.1007130X.2010.
