formalized

英 [ˈfɔːməlaɪzd]

美 [ˈfɔːrməlaɪzd]

v.  使(安排、计划、关系)成为正式的; (通过规则)使有固定体系，使定形
formalize的过去分词和过去式

过去分词：formalized　过去式：formalized　

TOEFL

BNC.24650 / COCA.23260

柯林斯词典

in BRIT, also use 英国英语亦用formalise


• VERB 使正式化;确定
  If youformalizea plan, idea, arrangement, or system, you make it formal and official.
  1. A recent treaty signed by Russia, Canada and Japan formalized an agreement to work together to stop the pirates...
     俄罗斯、加拿大和日本最近签署的一项条约将三国共同防止盗版的协议正式确定下来。
  2. She feels the time has come to formalise her relationship with Tempelsman.
     她觉得是时候正式确定和坦佩尔斯曼的关系了。

英英释义

adj

• given formal standing or endorsement
  Synonym:formalised
• concerned with or characterized by rigorous adherence to recognized forms (especially in religion or art)
  1. highly formalized plays like `Waiting for Godot'
  Synonym:formalisticformalised

双语例句

• The applications are developed mostly from scratch within a formalized programming model.
  应用程序很大程度上是由正式编程模型中的草稿开发而来。
• This paper makes attempt to establish a domain-independent description formalism for feature-based design from two aspects: formalized definition and design process description.
  文章从形式化定义和设计过程描述这两个方面研究了特征设计的形式化描述方法。
• The Congress was formalized with an equal amount of representation from the two parties.
  国会正式成立，双方拥有同等数量的代表。
• In the West, job interviews are highly formalized and systematic.
  在西方，工作面试是非常正式和系统化的。
• For REST services development, the simple servlet model is extended in more formalized APIs.
  对于REST服务开发，这个简单的servlet模型以更为正式的API得到扩展。
• 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.
  与系统测试相关的过程演进的一个具体实例发生在第一个迭代期间，在该迭代中，系统测试团队形式化一个用于测试追踪的过程。
• Formalized analysis for authentication test model of TLS
  TLS协议认证测试模型与形式化分析
• In addition, the Bus supports formalized, pluggable discovery and selection mechanisms in the Bus on-ramp.
  此外，总线还支持总线入站内形式化的、可插的发现和选择机制。
• Ontology as a formalized description of shared conceptual system, can solve the problem of massive knowledge usage in knowledge retrieval.
  本体作为共享概念体系的形式化描述，在知识检索方面可解决海量知识利用问题。
• Equivalence partitioning is a much more formalized method of test case design.
  等价类划分是一个更加形式化的设计测试用例的方法。