理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- activity profile
- activity ratio
- Activity Relationship Chart
- activity-sensing equipment
- activity sphere
- activity theory
- activity theory of aging
- activity theory of learning
- activity-time data
- activity verb
- act of civil litigation
- act of rescue
- Act of Settlement
- Act of the Ship of Hell
- Act of Union
- actomyosin
- Act on Legal Deposit of Published Material（Denmark）
- Act on National Treasury's Sharing of Compulsory Education Expenses
- Act on the Protection of Personal Information Held by Administrative Organs
- actor
- actor-based model
- actor-observer effect
- Actors Create Role
- actor's lines
- Actors' Miscellany