您要查找的是不是：
- formal semantic language 形式语义语言
- The back end of XYZ/ADL is the linear temporal logic language XYZ/E, which can represent both dynamic and static semantics of systems as its unified formal semantic backbone. 后端用既可表示系统动态语义又可表示系统静态语义的时序逻辑语言XYZ/E作为一致的语义基础。
- RDF/ RDF Schema is a sound and complete formal system, which has BNF formal syntax and model theory based formal semantic. RDF/RDFS是一个完整的形式化系统,具备BNF形式语法、基于模型理论的形式语义,是一个完备、可靠的形式化系统,从而保证了RDF描述语义推理的形式正确性。
- This paper focuses on formal semantics of imperative programs. 摘要 研究了命令式程序的形式语义。
- 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来表示类图形式化语义的方法。
- This paper compares the difference of the two versions from macrostructure,and presents an approach to transform those useful models with Action Semantic Language(ASL) which consistent with the UML action semantics. 从宏观上比较了UML 1.;x和UML 2
- 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，这是它具有正确性和数学严格性的基础。
- Research and Evaluation on Formal Semantic Description Techniques 形式语义描述方法研究进展与评价
- Technology Of Net Information Filter Based on Semantic Language 基于语义语言的网络信息过滤技术
- Formal Semantic of Architecture-Centric Component Model 以体系结构为中心的构件模型的形式化语义
- Language teaching is both a science and art. 语文教学既是一门科学又是一种艺术。
- 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. 尽管事情的进展相当不同，比之加入当前观点上的共识和团结我们全异的群体于一单一的设计，我们打算的更少。
- We were invited to a formal luncheon. 我们被邀参加一次正式的午宴。
- He cast his last remark in more formal wording. 他用更正式的措词表达了最后一句话。
- Daily practice is the trick in learning a foreign language. 每天练习是学会一门外语的诀窍。
- A Formal Semantic Study of the Work Flow Based on Activity Graph Model 基于活动图模型的工作流形式化语义研究
- One can not learn a language well unless one works hard. 学好一种语言非下苦功不可。
- The English language is allied to the German language. 英语和德语属于同一语系。
- Don't you be so fucking formal with me. 别你他妈的对我这么一本正经了。
- The letter is written in formal style. 这封信是用正式文体写的。
