您要查找的是不是:
- formal semantic definition [计] 形式语义定义
- 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. 摘要 研究了命令式程序的形式语义。
- 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作为一致的语义基础。
- 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 形式语义描述方法研究进展与评价
- Formal Semantic of Architecture-Centric Component Model 以体系结构为中心的构件模型的形式化语义
- Can you give me a definition of this word? 你能告诉我这个单字的定义吗?
- 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来表示类图形式化语义的方法。
- My duties require clearer definition. 我的职责需要更清楚的说明。
- A Formal Semantic Study of the Work Flow Based on Activity Graph Model 基于活动图模型的工作流形式化语义研究
- We were invited to a formal luncheon. 我们被邀参加一次正式的午宴。
- 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. 尽管事情的进展相当不同,比之加入当前观点上的共识和团结我们全异的群体于一单一的设计,我们打算的更少。
- The club must give a clear definition of its goals. 俱乐部应对其宗旨作明确规定。
- He cast his last remark in more formal wording. 他用更正式的措词表达了最后一句话。
- Formal Semantic Analysis of Selected Constructions in Mandarin Chinese 汉语部分句式的形式语义分析
- There is no one definition of the post-modern. 後现代主义的定义不一。
- Don't you be so fucking formal with me. 别你他妈的对我这么一本正经了。
- The letter is written in formal style. 这封信是用正式文体写的。
- Modern life trends towards less formal customs. 现代生活倾向于较少拘泥于客套习俗。