1、The requirements of formalization for automated software testing can be met by the method.
這樣的形式描述方法滿足軟件測試自動(dòng)化對(duì)形式描述的要求。

2、Towards A Formalization of UML Class Structures in COOZ
基于COOZ對(duì)UML的類結(jié)構(gòu)的形式化

3、Beside this, the formalization based on OWL+ Dublin Core is provided.
并給出了基于OWL+DublinCore的形式化描述。

4、Towards a Formalization of UML Class Structures in RAISE
UML類結(jié)構(gòu)的形式化

5、Study of formalization for object storage system will help us to study object management in detail.
對(duì)象存儲(chǔ)系統(tǒng)的形式化研究將有助于我們對(duì)對(duì)象管理做進(jìn)一步研究。

6、Too much formalization has always been influencing the teaching of mathematics.
數(shù)學(xué)的過于形式化一直影響著今天的數(shù)學(xué)教育。

7、BLP formalization study and implementation on buffer overflow
堆棧溢出的BLP形式化研究及實(shí)現(xiàn)

8、The Formalization of the BLP Security Model Using Z
傳統(tǒng)BLP模型的Z規(guī)范

formalization翻譯