formalized
v. 使正式;使有效(formalize的过去分词);使定形;拘泥于形式
adj. 形式化的;正式的
2026-03-21 07:59 浏览次数 17
v. 使正式;使有效(formalize的过去分词);使定形;拘泥于形式
adj. 形式化的;正式的
"highly formalized plays like `Waiting for Godot'"
formalized computer形式化计算机
state国家的;州的;正式的
official官员;公务员;高级职员
formalized method形式化方法
Formalized Process正式过程中
Formalized Analysis形式化分析
formalized verification形式化验证
formalized model形式化模型
Formalized education形式化教育
formalized knowledge形式化知识
a formalized形式化
this statement is crucial; the model is not the system itself but a formalized representation of the system.
这一论断很重要,模型不是系统本身,而是系统的形式化表示。
the process models, when formalized and validated, serve as the main input for the next phase of a project, for example, use case modeling.
当流程模型正式形成并经过了验证后,可以将其作为项目的下一阶段(如用例建模)的主要输入使用。
the applications are developed mostly from scratch within a formalized programming model.
应用程序很大程度上是由正式编程模型中的草稿开发而来。
her selection is still to be formalized and will not be announced until after thanksgiving.
在感恩节结束之前,希拉里不会正式宣布其决定。
the system is flexible enough to allow small teams to manage iterations while also scaling up to larger teams who use more formalized phases and iterations.
系统是足够灵活的允许小的团队管理迭代,也允许扩展成更大规模的团队,他们使用更加正式的阶段和迭代。
sip was outlined in 1996 through a sip charter and was formalized in rfc 2543 in 1999.
sip是1996年通过一份sip契约提出的,于1999 年在rfc2543中正式确立。
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 中时,就可以将标準业务术语映射到规范化(概念/逻辑)数据模型的形式化结构。
but there are signs it may be formalized and result in concrete projects.
但是有迹象表明,它将会正式进行并产生一些具体的项目。
there are no hard and fast rules for identifying use cases from process models, and hence this step has no formalized standard.
没有用于从流程模型标识用例的硬性规则,因此这个步骤并没有正式的标準。
schooling, on the other hand, is a specific, formalized process, whose general pattern varies little from one setting to the next.
然而,上学却是一个特定的形式化了的过程。在不同场合下,它的基本形式大同小异。
the original ideology has become a formalized ritual that gives them legitimacy in space and time, and provides them with a language for internal communication.
原本的意识形态已经变成了一种形式化的宗教仪式,给予他们在时间和空间上的合法性,以及一种他们用来和自己人讲话时使用的特殊语言。
graphical representations have syntax and semantics that are just as formalized as those of textual languages.
图形化表示有自己的语法和语义,它们不过是将这些文本语言形式化了。
in deference to the concept of code reviews, you really can't enforce standards that have not been formalized or are not readily available.
考虑到代码检查,您必须形式化相关的标準并推广它们,这样才能真正地实施这些标準。
for example, it includes a set of formalized definitions describing accounting structures, relationships between accounts, and properties of accounts for a financial institution.
例如,对于金融行业,它提供一组描述帐户的结构、关系和属性的正式定义。
folksonomies are thus a bottom-up complement to more formalized semantic web technologies, as they rely on emergent semantics [24, 25] which result from the converging use of the same vocabulary.
相比更正式的语义网技术,大众分类是自下而上的补充,依靠从使用相同的词汇中融合出结果的紧急语义[24,25]。
as this happens, the development method for some application types moves across this spectrum from experimental creative processes to formalized reuse and variation.
在进行此工作的过程中,有些应用程序类型的开发方法会从试验性的创造流程过渡到正式的重用和变体。
common sense best practices -- such as 「put your best people on the most valuable projects」 -- are formalized using portfolio management techniques.
一般意义的最佳实践 ——如「将您最好的人员加入到最重要的项目中」——由投资组合管理技术来形式化了。
increasingly, responsible architects are paying attention to formalized means for managing the systems that have become the lifeblood of business.
有责任的架构师越来越关注采用一些正式的方法来管理已成为企业命脉的系统。
in the west, job interviews are highly formalized and systematic.
在西方,工作面试是非常正式和系统化的。
based on our experience, we believe that an accepted and formalized governance model is key for successfully achieving business objectives.
基于我们的经验,我们相信公认的、正式的治理模型是成功实现业务目标的关键。
one specific example of process evolution related to system test occurred during the first iteration where the system test team formalized a process for test tracking.
与系统测试相关的过程演进的一个具体实例发生在第一个迭代期间,在该迭代中,系统测试团队形式化一个用于测试追蹤的过程。
lightweight directory access protocol (ldap) is a formalized directory access protocol.
轻量级目录访问协议 (ldap)是正式的目录访问协议。
but the advantages of a formalized standard language understood and interpreted the same way by both business and it are huge.
但是,形式化的标準语言能使业务和it在理解和解释上达成一致,这一优势是巨大的。
these high level statements must be then formalized into if-then statements to make them precise and clear.
这些高级声明必须正式应用于一些 「如果-那么」语句中,使它们变得精确和清晰。
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日庆祝女儿节时,所有年龄段的女孩都在庆祝,主要的焦点是正式的玩偶大会。