A formalized approach to elaborate the test suites and test scripts.
一种详细描述测试套件和测试脚本的形式化方法。
The applications are developed mostly from scratch within a formalized programming model.
应用程序很大程度上是由正式编程模型中的草稿开发而来。
Data Flow diagram. A formalized diagram that shows how data moves through a program.
一个描述数据在程序之间流动的正式图表。
This paper presents a formalized description of scheduling in the high-level synthesis.
本文介绍高层次综合中调度问题的形式化描述。
It provides a formalized model for understanding sustainable utilization of water resources.
它为理解水资源持续利用提供了形式化模型。
This statement is crucial; the model is not the system itself but a formalized representation of the system.
这一论断很重要,模型不是系统本身,而是系统的形式化表示。
But teach in practice is limited in relatively confined area and has a formalized tendency in fact operate.
但实际操作中,实践被限制在比较狭窄的范围内,并有形式化的倾向。
Though once considered outside the mainstream of scientific inquiry, astrobiology has a formalized field of study.
虽然一度被视为非主流的科学问题,但天体生物学已成为正式的研究领域。
After having analyzed various data mapping relationships, the paper provides a formalized description for data mapping.
分析了各种数据映射后,提出了数据映射关系的形式化描述。
But the advantages of a formalized standard language understood and interpreted the same way by both business and IT are huge.
但是,形式化的标准语言能使业务和IT在理解和解释上达成一致,这一优势是巨大的。
Commonly, test automation involves automating a manual process a lr eady in place that USES a formalized testing process.
通常,测试自动化涉及自动化对一个已经使用了正式的测验流程的手工过程。
With that in mind, we have seen many internal audit plans that are not based on a formalized risk assessment of the company.
有了这个概念,我们发现许多内部审计计划没有以公司正式的风险评估作为基础了。
Planning isn't just about creating a formalized document; it's about figuring out how you'll achieve your goals and tracking progress.
计划不仅仅是写一份固定格式的文档,而是规划好如何完成目标和如何具体执行。
Jerusalem journalist Surie Ackerman said her name was a formalized version of a nickname given by ultra-Orthodox Jews in her native United States.
耶路撒冷新闻记者苏里·艾克曼说,她的名字就是一个正式的昵称,是由美国当地的超正统派犹太教徒起的。
Inferential statistics is a formalized body of methods for solving another class of problems that present great difficulties for the unaided human mind.
推理统计学是一套已定形了的方法体系,它解决的是光凭人脑极难解决的另一类问题。
He stayed there, and then I was part of the first group, the first-year training group, and I trained here for three years in a formalized training program.
他留在了那里,我是第一年的训练团体——最早的团体的参与者之一,在那儿受了三年的正规训练。
G. Frege's Begriffsschrift, a Formalized Language of Pure Thought Modelled upon the Language of Arithmetic is well-known as a foundation stone in modern logic.
弗雷格的《概念文字:一种模仿算术语言构造的纯思维的形式语言》可谓现代逻辑的开山之作。
So it is right to say that studying maths is both to study a formalized language with a certain implication and to use this language to solve kinds of problems.
本文主要讨论形式化在数学概念教学与解题教学方面的应用。
A representation of facts, concepts, or instructions in a formalized manner suitable for communication, interpretation, or processing by human or automatic means.
事实、概念或指令按某一规格化方式的一种表示,适于人或自动装置进行通信、解释或处理。
In the celebration called the doll Festival, which takes place on March 3 and is celebrated by girls of all ages, the main focus is a formalized assembly of dolls.
在3月3日庆祝女儿节时,所有年龄段的女孩都在庆祝,主要的焦点是正式的玩偶大会。
Opportunity discovery is studied from the view of object-programming, aiming at providing a formalized and semantic theoretic basis for opportunity and its discovery.
从规划视角研究机遇发现,为机遇及其发现提供了形式化和语义化的理论基础。
With the specific features of better communication predictability of the timing token protocol, a formalized analysis model for the predictability has been developed.
提出了一种以波长为标签的新型全光变长分组交换环网的体系结构、网络节点的光分组数据包收发模型,以及防止光分组冲突的多令牌协议。
A formalized, externally configurable "toolbox" for adding custom tools that can be used by the template (tools in this sense are just compiled Java classes that have public methods).
正式的、可外部配置的“工具箱”,可以增加在模板中使用的自定义工具(这里讲的工具只是具有公共方法的已编译的类)。
Rhetorical Structure Theory is a representative school of American Functional Linguistics, with its aim to provide a formalized framework for the analysis and generation of language.
修辞结构理论是美国功能语言学流派的主要代表之一,其宗旨是为语言的分析和生成提供形式的框架。
Bleum runs a formalized graduate recruitment campaign selecting students nationwide from 2002. Successful graduates participate in the annual graduate trainee program that starts every July.
博朗软件从2002 年开始在全国范围内通过校园招聘精选优秀毕业生,成功入选的毕业生将在次年七月开始接受年度新生培训项目。
A recent treaty signed by Russia, Canada and Japan formalized an agreement to work together to stop the pirates.
最近由俄罗斯、加拿大和日本签署的一项条约使共同阻止盗版者的协议正式生效。
As I said, in classical ballet, emotions are conveyed through a set of strictly formalized movements.
正如我所说,在古典芭蕾中,情感是通过一套严格形式化的动作来传递的。
Regardless of its origin, the presence of a glossary model in RDA enables mapping of standard business terms into the formalized structures of the canonical (conceptual/logical) data model.
不论出处如何,当术语表模型在RDA 中时,就可以将标准业务术语映射到规范化(概念/逻辑)数据模型的形式化结构。
Regardless of its origin, the presence of a glossary model in RDA enables mapping of standard business terms into the formalized structures of the canonical (conceptual/logical) data model.
不论出处如何,当术语表模型在RDA 中时,就可以将标准业务术语映射到规范化(概念/逻辑)数据模型的形式化结构。
应用推荐