Mobile
Log In Sign Up
Home > english-chinese > "形式语义" in Chinese

Chinese translation for "形式语义"

formal definition
formal semantics of programming languages


Related Translations:
语义栈配置:  semantic stack configuration
表层形式:  surface form
正规形式:  hessenberg-form hessenberg form hessenberg
交际形式:  forms of communication
扩展形式:  extend typestretched form
形式矢量:  symbolic vector
意大利形式:  italianare
形式电荷:  formal charge
典范形式:  canonical formcanonical transformation
形式标号:  form label
Example Sentences:
1.( 5 ) gives the refinement laws for fcmhd and transformation from chdl to vhdl or verilog hdl
并给出了chdl的形式语义及常用的硬件的语义;提出了把chdl转换为vhdl或ve川。
2.At present , many organizations and individuals are engaged in the study of uml formal semantics . they attempt to influence the future of uml through the study of uml
目前,很多机构和个人都在从事uml的形式语义研究,他们试图通过对uml的研究来对uml的未来产生影响。
3.This paper proposed a problem - solving theory based formal model , introduced the basic syntax and p - calculus based semantics of the model , and presented some pivotal concepts and propositions in the deduction of the model
摘要提出了一种基于问题求解理论的密码协议模型,给出了模型的基本语法以及基于演算的形式语义,明确了模型推理过程中涉及到的一些关键性的概念和命题。
4.The formal semantics of sql is the theoritical foundation of query rewriting , but there is no satisfying method to translate sql into a canonical form . in this paper , we propose a better formalizing method for sql which is more succinct
Sql的形式语义是查询重写研究的理论基础,本文在前人工作的基础上,提出了一种更加完善的形式化方法,不但消除了以往形式化方法的部分不足,而且从形式上也更为简洁、直观。
5.( 3 ) discusses the formal specifications for hardware formal design and presents the formal model of fcmhd ( formal computational model for hardware design ) and its formal semantics based on itl ( interval temporal logic )
作者以时段演算( durationcalculus , dc )为工具对vhdl的子集进行了形式语义分析;通过分析vhdl和veriloghdl部分语句的形式语义,为硬件描述语言的分析、设计、编译提供了一个严格的理论基础和新的途径。
6.This paper composes a new way to describe software architecture through combining the visual modeling language which is object oriented and the formal method which based on temporal logic . it contributes to the research of software architecture description and the research of formal semantics of uml as well as the application of formal method in the software development
本文通过将面向对象的可视化建模语言与基于时序逻辑的形式化方法结合起来描述软件体系结构,对软件体系结构描述研究、 uml形式语义研究和形式化方法在软件开发中的应用等方面都有一定的推动作用。
7.Therefore , the formal semantic study of uml is helpful for the improvement of the clarification , equivalence , consistency , and extendibility of the language , thus offers a powerful theoretical tool for the validity proof , transition of the model and the consistency check of the modeling tools supporting uml
因此,对uml进行形式语义研究,对增进该语言的清晰性、等价性和一致性、可扩展性是十分有帮助的,为模型的正确性证明、转换以及支持uml建模工具的一致性检查提供了有力的理论工具。
8.In this dissertation we present a general , extensible methodology that examines cryptographic protocols . our approach is specify a protocol in cpal ( cryptographic protocol analysis language ) , apply hoare and dijkstra ? theory of formal semantics to it , analysis it ? forma ] semantics , define weakest precondition of each kind of language statement
我们的方法就是用cpal ( cryptographicprotocolanalysislanguage )语言来表示协议,将hoare和dijkstra在形式语义方面的理论应用到该语言,分析该语言的形式语义,定义每种语句的最弱前置条件。
Similar Words:
"形式语言文法" Chinese translation, "形式语言学" Chinese translation, "形式语言与自动机" Chinese translation, "形式语言与自动机理论" Chinese translation, "形式语意学" Chinese translation, "形式语义定义" Chinese translation, "形式语义描述" Chinese translation, "形式语义模型" Chinese translation, "形式语义学" Chinese translation, "形式语义学引论" Chinese translation