理学 形式化方法 释 formal methods 形式化方法 基于严格的数学基础，对计算系统和应用进行规约、开发和验证的方法。
formalization method 形式化方法 logistic method 逻辑斯谛方法，形式化方法
软件工程 释文 formal method 形式化方法
- set of uniqueness
- set of values
- set of words
- set of zeros
- Setoguro ware
- Seto-naikai
- seton cutting method
- seton therapy
- set operation
- setose cephalanoplos
- setose thistle
- Setouti Zyakutyo
- setover
- SETP
- set pair analysis method
- set partition
- set partitioning in hierarchical trees algorithm
- set-point control
- set point theory
- SET protocol
- set pulse
- set recursion theory
- set retarder
- set ring
- set rule