理学 形式化方法 释 formal methods 形式化方法 基于严格的数学基础，对计算系统和应用进行规约、开发和验证的方法。
formalization method 形式化方法 logistic method 逻辑斯谛方法，形式化方法
软件工程 释文 formal method 形式化方法
- join optimization
- join point
- join-preserving homomorphism
- join-preserving mapping
- join-reducible element
- join representation
- join semi-lattice
- join-stable
- joint
- joint action
- joint action effect
- joint action of chemicals
- joint action of toxicant
- joint analysis
- joint application development
- Joint Astronomy Centre
- joint attention
- joint authorship poems
- joint biomechanics
- joint breeding
- joint characteristic function
- joint classification of scientific and technological archives
- Joint Commission on Rural Reconstruction (JCRR)
- Joint Committee for Traceability in Laboratory Medicine
- Joint Committee on Reconstruction of Congress