说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 形式化语言Object-Z
1)  Formal language Object-Z
形式化语言Object-Z
2)  Object-Z language
Object-Z语言
3)  Z(Object-Z)
Z(Object-Z)语言
4)  formal language
形式化语言
1.
In the light of the characteristic of chemical science this paper the describes the constitution of the types of chemical science language, which are the natural language, the professional mark language and the formal language, and discusses the inter-relationship and functions of these languages in the development of chemical science.
本文以化学科学的特征,论述了构成化学科学语言的类型有自然语言、专业符号语言及形式化语言,并阐述了几种语言类型的相互关系及其在化学科学理论发展中的作用。
2.
However,the formal specifications written by formal languages are not easy to read and understand,and there is still not an effective tool for the automatic testing based on formal specifications.
鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性。
3.
A classfication and a system model of formal analyses is given,and three classes of formal analysis methods(based on reasoning,based on attack,based on proof)and formal languages used in formal analyses are commented in details.
综述目前安全协议形式化分析的理论与方法 ,包括安全协议的分类与模型 ,安全协议形式化分析的 3种典型方法 (基于推理的结构性方法 ,基于攻击的结构性方法 ,基于证明的结构性方法 ) ,安全协议分析的形式化语言 ,安全协议设计的形式化方法 ,以及安全协议形式化分析面临的挑
5)  formal description language
形式化描述语言
6)  Formal logic language
形式化逻辑语言
补充资料:形式化语言


形式化语言
formalized language

  形式化语言【匆翻阅石2曰h瑰,吧e;巾opMa月。300aN。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条