理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- eclipse duration
- eclipse end
- eclipse factor
- eclipse function
- eclipse limit
- eclipse map
- eclipse number
- eclipse of satellite
- eclipse of the moon
- eclipse of the sun
- eclipse path
- eclipse season
- eclipse series
- eclipse theory
- eclipse year
- eclipsing binary
- eclipsing binary star
- eclipsing component star
- eclipsing double star
- eclipsing effect
- eclipsing infrared source
- eclipsing star
- eclipsing strain
- eclipsing variable
- eclipsing X-ray source