formalization造句

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的类结构的形式化

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类结构的形式化

5、Study of formalization for object storage system will help us to study object management in detail.
对象存储系统的形式化研究将有助于我们对对象管理做进一步研究。

6、Too much formalization has always been influencing the teaching of mathematics.
数学的过于形式化一直影响着今天的数学教育。

7、BLP formalization study and implementation on buffer overflow
堆栈溢出的BLP形式化研究及实现

8、The Formalization of the BLP Security Model Using Z
传统BLP模型的Z规范

formalization翻译