... automated programming 自动程序设计 automated proof 自动验证 automated reasoning 自动推理 ...
基于92个网页-相关网页
牛津大学计算机科学系共设有以下8个研究领域，分别是： (1) 算法(Algorithms) (2) 自动验证(Automated Verification) (3) 计算生物学(Computational Biology) (4) 基础、逻辑与结构(Foundations, Logic and Structures) (5) 信息系统(..
基于10个网页-相关网页
...置为只在添加数据时判断，你别把用户名的字段写进去就行，具体名字忘记了，你需要检查下Model里是否使用 $_validate（自动验证）来判断用户名填写状态:MODEL_BOTH了 回复: 不会呀 回复: 如正常请逐步安装其他软件使用。
基于1个网页-相关网页
自动验证系统 automated verification system
自动验证工具 automated verification tool
自动验证技术 automated identification technologies
自动验证器 automatic verifier
形似化自动验证 Automatic formalized verification
自动测量验证系统 AMVS
自动程序验证系统 [计] automatic program verification system
自动信用卡验证业务 automatic credit card verification service
自动化验证 automatic verification
·2,447,543篇论文数据，部分数据来源于NoteExpress
不过，同时还可能定义了执行自动验证的触发器。
However, there can also be a trigger defined to do the automatic validation.
该类用于为模拟容器创建一个可自动验证的虚拟用户。
This class is used to create a dummy user for the mock container, which is automatically validated.
可以通过以下方式对进入的XML文档执行自动验证。
Automatic validation on incoming XML documents can be enforced as follows.
应用推荐