理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- Yizheng Shi
- Yi Zhenji
- Yizhichan pushing manipulation
- Yi Zhou
- Yizhou
- Yizhou Qu
- Yizong Jinjian
- Y-joint
- Ykaterina Maximova
- YLE
- ylem
- ylide
- ylide complex
- Y-linked inheritance
- Ymaguchi esterification
- Ymaguchi lactonization
- Ymir
- y-moment
- ynamine
- Yobe State
- Yoccoz
- Yoccoz,Jean-Christophe
- Yocheved Bat-Miriam
- yocubu
- Yoel Hoffman