理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- double-image prism
- double implication
- double inclusive process
- double inflection
- double insulation
- double insurance transmission for the llve broadcasting signal
- double integral
- double integrating accelerometer
- double integration
- double interferometer
- double interpolation
- double interval censoring
- double inversion
- double isotope dilution mass spectrometry
- double isotopedilution method
- double jeapardy
- double labeling
- double labeling; double-tagging
- double lattice
- double layer
- double-layer
- double layer capacitance
- double layer capacitor
- double layer current
- double-layer current