使用文本编辑器和验证工具。
可以使用一个新的安装验证工具来验证服务器已成功配置。
A new installation verification tool can be used to validate that the server was configured successfully.
那些使用常规验证工具建立这些系统的人们处于这两者之间。
In between are the people who use formal verification tools to construct these systems.
如果是这种情况，您可能需要使用一个JSON验证工具(参见参考资料)。
If this is the case, you may want to use a JSON validation tool (see Resources).
通常i18n工作成果是一组指导说明和验证工具，可用于改造产品以适应特定地区的目标受众。
The usual deliverable for an i18n effort is a set of instructions and validation tools that can be used to adapt the base product to a target population in a specific locale.
在这种情况下运行的典型原因包括：为了能在产品安装过程中修改配置、为了开发配置验证工具等等。
Typical reasons to run in this scenario include being able to modify the configuration during product installation, developing a configuration validation tool, etc.
由于这个原因，关键是确保能提供足够的教学材料、好的例子以及验证工具，使不好的例子不至于蔓延。
Because of this, it's critical to ensure that enough instructional matter, good examples, and validation tools are available to make sure that bad examples do not proliferate.
我们将验证工作与系统设计结合起来，设计和开发了针对UML顺序图的自动验证工具原型。
To combine the verification with system design, a prototype of automatic verification tool for UML sequence diagrams has been designed and developed.
可访问性验证工具可以检查页中的标记，确保标记包含（或不包含）建议用于可访问性的某些元素和属性。
The accessibility validation tool can check the markup in your pages to ensure that it includes (or does not include) certain elements and attributes that are recommended for accessibility.
为了解决这个问题，XML编辑器和验证工具可以在文件和相关的任务管理方面给予帮助。例如，文档和遗留格式转换。
To address this issue, XML editors and validating tools became available to aid in the management of the files and the tasks relating to them, such as documentation and conversion to legacy formats.
雅虎建议用户使用雅虎账户密钥，这是一种验证工具，用户可以通过它使用手机验证自己的身份，再也不必通过输入密码登陆雅虎账户。
Yahoo recommended that its customers use Yahoo Account Key, an authentication tool that verifies identity using a mobile phone and eliminates the need to use a password on Yahoo altogether.
pam_rhosts_module提供了类似于r - cmds的rhosts类型的验证工具，比如rlogin、rsh和rexec。
The pam_rhosts_module provides rhosts type of authentication facility similar to r-cmds like rlogin, RSH, and rexec.
在介绍了相关理论知识后，使用当前较为流行的模型验证工具SPIN给出一个实例，提出了利用该工具针对系统的线性时序逻辑性质进行变异分析的方法。
This paper introduces the relevant theory, then uses the popular model checker tool SPIN and gives an example which analyzes the use of the tool against the logic properties of LTL in a …
当更小的孩子学习计算机科学时，他们知道它不仅仅是一串令人困惑的、无穷无尽的字母和数字，而是一种构建应用程序、创作艺术品或验证假设的工具。
When younger kids learn computer science, they learn that it's not just a confusing, endless string of letters and numbers—but a tool to build apps, or create artwork, or test hypotheses.
您需要使用工具验证这个消息，看能否得到能解决这个问题的更好的信息。
Validate the message with the tool to see if you can get better information to solve the problem.
另一个有用的功能部件是一个依据xml语法验证绑定定义的工具。
Another very useful feature would be a tool to verify a binding definition against an XML grammar.
分析、验证和代码更正工具。
平台配置工具提供了验证模式的规则。
The platform configuration tool provides rules to validate your pattern.
也就是说，它们只能很好的验证那些工具发行者已知的攻击类型和数量。
That is, the validation they perform is only as good as the number of attack vectors known to the publishers of the tool.
可以使用ADS模式管理工具进行验证。
然后就可以使用更新工具进行验证、存储并最终安装那些更新包。
Then they will use the update facilities to validate, store and eventually install the packets.
在项目生命周期中，质量确保工具是用来验证代码开发的，变更及资产管理工具是用来跟踪应用程序修改的。
Quality assurance tools and change and asset management tools are also needed to verify code development and track application modifications, respectively, throughout the project lifecycle.
创建新文章或教程时，验证XML的工具将安装到您的项目目录里。
A tool for validating your XML was installed in your project directory when you created your new article or tutorial.
回到配置工具，并找到验证标签。
Go back to the configuration tool and find the Authentication TAB.
指示板也可在测试真实Web服务时用作健康检查工具来验证连通性和结果。
The dashboard can also be used as a health check tool to verify connectivity and results when testing the actual Web services.
nu工具：验证您的 XHTML5文档。
jarsigner工具使用keystore生成或者验证JAR文件的数字签名。
The jarsigner tool uses keystore to generate or verify digital signatures for JAR files.
jarsigner工具使用keystore生成或者验证JAR文件的数字签名。
The jarsigner tool uses keystore to generate or verify digital signatures for JAR files.
应用推荐