In between are the people who use formal verification tools to construct these systems.
那些使用常规验证工具建立这些系统的人们处于这两者之间。
Tell me a case that you use formal and informal way to influence other in order to fulfill tasks.
请给出一个你通过正式或非正式的影响方式来完成任务的事例。
They were worried that years later, the younger generation would forget how to use formal Chinese expressions.
他们担忧，多年以后年轻的一代会忘记如何使用正规的汉语表达。
As such, sales letters tend to use formal letter structures and are rather impersonal because they are sent to more than one person.
因此，推销信通常采用正式的书信结构，并且无人称，因为信件的接受者不止一个。
The examples we've done so far have been pretty straightforward, so we haven't needed to use formal charge to make this kind of decision.
我们之前做过的例题，都是非常简单直接的，因此我们还不需要，用形式电荷来做这种决定。
This tutorial focuses on how to leverage queries to further analyze your model, and how to use formal reports to document the analysis results.
本教程侧重于如何利用查询来进一步分析模型，并说明如何使用正式的报告来对分析结果作文档记录。
So, these are the different ways that we can actually go ahead and use formal charge when we're choosing between different types of Lewis structures.
那么，这些就是在我们需要在,不同的路易斯结构之间做选择的时候,我们如何用形式电荷来进行判断的各种方法。
The initial results indicate that the event model, which can use formal language and implement concurrency, has brilliant prospects for user dialogue.
初步结果表明，采用事件模型的UIMS，可用形式的专用语言描述事件，并能实现并发的特点，是一个有前途的实现用户对话的模型。
Because the meaning of a formal topic should never vary based on its use, these fields should be part of the topic.
因为正式题目的含义不会根据它的使用变来变去，所以这些字段应当成为题目的一部分。
Step 3: Prepare a formal, written performance evaluation with your employee. Use the written evaluation forms provided, or create one of your own.
步骤3：为你的员工准备一份正式并手写的表现评估表，使用这张评估表为你自己也创造一份。
For formal use, the variable can be marked with a "#" symbol -- or "#1", "#2", and so forth -- if multiple variables exist in one sentence.
对于正式的使用，如果一个句子中存在多个变量，则变量可以用“#”符号（或“#1”和“#2”等）作为标记。
From 1999, when WHO first began to report on alcohol policies, at least 34 countries have adopted some type of formal policies to reduce harmful use of alcohol.
世卫组织在1999年首次开始就酒精政策进行报告。自那时以来，至少34个国家采用了某种正式政策以减少有害使用酒精。
You should have complete knowledge of the various UML model elements and diagram syntax and be able to use these effectively for communication and formal specification of the application.
您应该对各种uml模型元素和图表语法有全面的认识，并且能够有效地在交流和应用程序的形式化规范中使用它们。
Semantics use metadata to capture the formal meaning of data.
语义使用元数据来捕获数据的正式含义。
During the requirements phase of a project, analysts can take use cases to the next level by providing a more formal level of refinement.
在项目的需求阶段，分析师能通过提供一个更加正式层次的表达，把用例带入下一层次。
Remember it is your letter, so use your own words not formal boring cliches.
记着这是你自己的求职信，不要使用那些不正规的陈词滥调。
A spreadsheet is very easy to use and maintain, unlike the more formal project plan which quickly goes stale and is never easily updated.
与很快会变得过时且难以进行更新的比较正式的项目计划不同，电子表格非常易于使用和维护。
With a level of analysis performed at this point, a formal use case model can be created and documented.
此时通过执行某种级别的分析，可以创建并记录正式的用例模型。
One of the primary uses of sequence diagrams is in the transition from requirements expressed as use cases to the next and more formal level of refinement.
序列图的主要用途之一，是把用例表达的需求，转化为进一步、更加正式层次的精细表达。
Reducing remittance costs would do more to encourage the use of formal remittance channels than will regulation of so-called informal services.
降低汇款成本会比对所谓非正规服务进行管制更有助于鼓励使用正规的汇款渠道。
They should use polite and formal languages when talking to the customers and supervisors.
当跟客人和领导说话时，他们被要求使用礼貌用语和正式言语。
Future articles will also show how to use the use cases for UI design, and how to build a formal dynamic model from use cases.
以后的文章还将演示如何使用UI设计的用例，以及如何根据用例构建正式的动态模型。
A template for formal, detailed use cases will either slow down development teams or will be ignored by them if what they really need is a template for simple, light-weight use cases.
如果团队真正需要的是简单、轻量级用例的模板的话，形式的详细的用例的模板将减慢开发团队，或者被团队忽视。
It explains how you can use a formal RUP-like methodology to initially build a SOA and then move to an XP-style agile process for ongoing services rollout.
文中说明了可以如何使用类似于RUP的正式方法来对SOA进行初始构建，然后转向xp样式的灵活流程，以进行后续服务推出工作。
If it's a meeting at work or in school then you may need to have use a more formal frame (for instance without hugs and the relaxed attitude you have with friends).
如果这是一个工作会议或者在学校你需要的是一个正式的氛围(例如不需要拥抱，以及你见朋友时的放松态度)。
Remember to use people's formal business titles - it helps to make them feel important.
记住要使用人们的正式商务头衔-这么做有助于让他们觉得他们举足轻重。
Once the service has been developed and the service interface is complete, you should capture the service WSDL and use it as the formal definition of the interface.
服务开发并完成了服务接口后，应该捕获服务WSDL，并将其作为接口的正式定义使用。
All use case methods, formal or not, require supplementary documents for complete test case creation.
所有的用例方法，正式的或者非正式的，都需要附加文档来完成测试用例的创建过程。
All use case methods, formal or not, require supplementary documents for complete test case creation.
所有的用例方法，正式的或者非正式的，都需要附加文档来完成测试用例的创建过程。
应用推荐