形式化用英语怎么说？

形式化

• [xíng shì huà]
  formalize，formalization

例句

• Mohist logic has the character of non - formalization, while Aristotlian Logic is mainly charactered by its formalization. 非 形式化是墨家逻辑的主要特点, 而亚里士多德逻辑的主要特点是形式化.
• Formalization is necessary requirement and directive impetus for design patterns. 形式化是设计模式发展的必然要求和直接推动力.
• Non - formalization is closely related to daily life, but also has obvious defections. 而 非 形式化则紧密联系日常语言, 但也有明显缺陷.
• The other is tacit knowledge which is not easily visible and expressible. 而另一种知识是隐性知识,不容易看见和表达,它万全是个人知识,难于形式化.

词组搭配

• 形式化计算机
  formal proof; formal verification

行业词典

• 计算机： formalization；