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

2、Towards A Formalization of UML Class Structures in COOZ
基于COOZ對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.
對象存儲系統(tǒng)的形式化研究將有助于我們對對象管理做進一步研究。

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

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

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

formalization翻譯