1.
The Research on B Formal Specification of UML Use Case Model
UML用例模型的B形式化描述方法研究
2.
a wondrous buckram style(bThomas Carlyle)
异乎寻常的刻板形式(b托马斯 卡莱尔)
3.
Formal Method Integrating B Method and Time Petri Nets;
基于B语言与TPN集成的形式化方法
4.
Research and Application on Verification Technology of Formal B Method;
形式化B方法验证技术研究及其应用
5.
Formal Language B and UML/OCL Comparison
形式化语言B与UML/OCL的比较
6.
Interactive B-spline Surface Modeling based on Force Density Method
基于力密度的交互式B样条曲面变形
7.
The Valiron Formulas of the Double B-valued Dirichlet Series with Different Parameter;
二重B值Dirichlet级数在不同参数形式下的Valiron公式
8.
The Research on Translating UML Diagram to B-Method Formal Specification and Its Application;
UML模型图到B方法形式规约的转换研究与应用
9.
A Study of Software Formal Requirements Based on Event-B;
基于Event-B的软件形式化需求获取方法研究
10.
The Research and Application of B Language and Method in Algorithm Formalization;
B语言与方法在算法形式化中的应用研究
11.
A formal development method based on B method and component;
一种基于B方法和构件技术的形式化开发方法
12.
Boundary Behaviors for the Integral of B-M Type on A Closed Piecewise Subsmooth Manifold;
闭逐块次光滑流形上B-M型积分的Plemelj公式
13.
APPLYING THE FORMAL TECHNIQUE OF INTEGRATED TPN AND B METHOD IN WEB SERVICE
TPN和B方法集成的形式化技术在Web Service中的应用
14.
Formalized requirement analysis based on the component technology and method-B
基于构件技术和B方法的形式化需求分析
15.
Stealth B-2 bomber
B－2“隐形”轰炸机
16.
the way the system operates, the access game, the turf game, the image game(bHedrick Smith)
系统运作的方式即：入门兴趣、赛马兴趣、形象兴趣(b赫德里克 史密斯)
17.
a role made.dramatically accessible by the concision of the form(bGeorge Steiner)
用这种简洁的形式戏剧化地表现出一个角色(b乔治 斯坦纳)
18.
Section 123(b) treats intermittent controls as a form of dispersion technique.
第123条（b）把间歇性控制也当作弥散技术的一种形式。