Much of our current exposure to formal specification comes with our use of languages, like the Object Constraint language (OCL), to provide rigor to our specifications and UML diagrams. 4.

目前我们的正式规范方式和我们使用的语言，如对象约束语言(ocl)，提供了的关于规范和UML图的严格要求。

youdao

Chemists use a formal language to represent the chemical structure of molecules.

化学家也使用一种形式语言来表分子的化学结构。

youdao

Sociolinguistics goes against the linguistic tradition of centering on formal language research and devotes itself to the study of the law of language and its use in relation to social factors.

社会语言学打破了语言学界历来只注重研究语言形式的传统，着重从语言与社会诸因素之间的相互关系研究语言及其运用的规律。

youdao

What kinds of news organizations tend to be big, have lots of writers and bureaus all over the map, use formal language with high standards of copy editing, and have been around long enough to have established reputations?

FORBES: Why Publishers Need to Stop Worrying and Learn to Love Google