您要查找的是不是：
- requirment of formal semantics 形式语义要求
- The country admits its record of formal schooling. 国家承认其学历的。
- This paper focuses on formal semantics of imperative programs. 摘要 研究了命令式程序的形式语义。
- The level of formality determine the precise mode of expression. 不同的礼节程度决定所需的确切表达方式。
- You arrived at your conclusion using the methods of formal logic. 你这个结论是按照形式逻辑的方法推论出来的。
- Managerial development is not merely a matter of formal developing. 管理的发展不仅仅是正式的发展的问题。
- The formal semantics of RT-Z, based on the denotation semantics of Z and timed CSP, is a prerequisite for preciseness and mathematical rigour. RT-Z的语义基于Z和timed CSP，这是它具有正确性和数学严格性的基础。
- I'll do all that the Party and the people require of me. 凡是党和人民所要求的，我一定做到。
- Because UML lacks of precise semantics,a method is proposed to express the formal semantics of the class diagrams based on the temporal logic language XYZ/E. 基于UML缺乏精确语义描述的不足,我们提出了基于时序逻辑语言XYZ/E来表示类图形式化语义的方法。
- The speed required of the machine was very high. 对这机器要求的运转速度是很高的。
- Precise observance of formalities. 拘泥形式，死板对形式的严格遵守
- Arbatov had a fondness for the niceties of formal behavior. 阿尔巴托夫十分注意正式场合人们举止的细微之处。
- You have done all the law requires of you. 你做的这一切都是法律对你的要求。
- We now consider other types of arrangements of formal objects. 现在我们来研究形式对象的排列的另一种类型。
- We will do all that is required of us. 凡是向我们要求的事我们都会做到。
- We abandoned the idea of basing Haskell explicitly on OL very early; we violated the goal of embodying only well-tried ideas, notably by the inclusion of type classes; and we never developed a formal semantics. 尽管事情的进展相当不同，比之加入当前观点上的共识和团结我们全异的群体于一单一的设计，我们打算的更少。
- This is simply a question of formalities. 这只是手续问题。
- We did all that was required of us. 我们做了要求我们所做的一切。
- In Japan, bowing is a kind of formality. 在日本，鞠躬是一种礼仪。
- Despite a lack of formal education, she was far from stupid. 虽然没有受过正式教育，但是她一点也不愚蠢。
