formalized analysis method 形式化分析方法
formalized description method 形式化描述方法
a formalized analysis method 形式化分析方法
formalized software specification method 形式化软件规格说明方法
Different forms of formalized method may be complimentary in function.
众多的形式化方法在功能上可以实现互补。
Equivalence partitioning is a much more formalized method of test case design.
类划分是一个更加形式化的设计测试用例的方法。
Simultaneously, we prove this protocol by formalized method and implement this protocol using NDIS Intermediate Drivers.
同时,用形式化的方法验证了协议,并编写NDIS中间层驱动程序实现了协议。
应用推荐