时序逻辑语言XYZ/E,temporal logic language XYZ/E,音标,读音,翻译,英文例句,英语词典

您的位置：首页 -> 词典 -> 时序逻辑语言XYZ/E

1) temporal logic language XYZ/E 点击朗读

时序逻辑语言XYZ/E

例句>>

2) Sequential Logic XYZ/E 点击朗读

线性时序逻辑语言XYZ/E

3) XYZ/E

XYZ/E语言

4) temporal logic language 点击朗读

时序逻辑语言

XYZ/E is the first executable temporal logic language, which can represent both of the static and dynamic aspects of program.

XYZ/E是世界上第一个可执行的时序逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构,本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件,并通过对这些组件及连接件进行特定的组合,来表示几种重要的软件体系结构风

The temporal logic language(TLL) XYZ/E can represent both dynamic semantics and static semantic under a unified framework and carry out the smooth transition from abstract specification to execuable program.

时序逻辑语言XYZ/E在统一的形式框架下既能表示静态语义又能表示动态语义,可以实现从抽象描述到可执行程序的平滑过渡。

更多例句>>

5) XYZ/E language 点击朗读

XYZ/E语育

6) temporal logic language 点击朗读

时态逻辑语言

XYZ/E is the first executable temporal logic language,which can desribe abstract static semantics and also express programming dynamic semantics.

XYZ/E是世界上第一个可执行的时态逻辑语言 ,它既能描述抽象静态语义 ,又能表示程序的动态语义 ,这一特征恰好适合分层描述软件体系结构 ,文 [1]采用XYZ/E语言刻画了软件体系结构的基本组件与连接件。

XYZ/E is the first executable temporal logic language,which can represent both of the static and dynamic aspects of program.

XYZ/E是世界上第一个可执行的时态逻辑语言 ,它既能描述抽象静态语义 ,又能表示程序的动态语义 ,这一特征恰好适合分层描述软件体系结构。

补充资料：XYZ/E语言族

XYZ/E语言族
XYZ/E language family

　　XYZ/任yuyanzuxYZ/E语言族(xYZ/Elanguage价”nily)一种系列化的时序逻辑语言族，其中各子语言分别表示不同的程序设计方式或程序范型的语言。X、，Z/E由中国科学院计算技术研究所唐稚松于70年代设计，它的最基本的特征是以一统一的框架既能表示适应诺依曼体系的状态转换机制的命令式语言，又能表示适应逻辑推理特征的直言式公式语言。 XYZ/E有三种控制结构:一种是直接表示状态转换的命令形式，具有这种控制结构的子语言称xYZ/BE(即卫进51。XYZ/E);另一种则是结构化高级语言的语句形式，具有这种控制结构的子语言称为XYZ/SE(即Structur司rulef〔)ml XYZ/E);第三种控制结构则是产生式规则的形式，具有这种控制结构的子语言称为XYZ/PE(即Preductlon rule爪〕nllX、艺/E)。 XYZ/E中也包括了表示各种并发性或不确定性、不同通信方式、不同类型的可重用模块的机制。故在一统一的程序中可包含所有这些机制及相应的各种程序设计方式。它同时还能包含表示多种可视图形程序的语义，而且这些图形与相应的XYZ/E程序可相互自动生成。由可重用模块(过程、进程、包块)与并发通信机制结合而成的程序，由于其结合方式不同，可以构成差异很大的总体结构，其中有些情况是互不相容的。可以区分为三种类型:①非分布式环境下基于对象的程序;②非分布式环境下面向对象的程序;③分布式程序。 XYZ系统是将时序逻辑与软件工程有机结合、基于XYZ/E语言的计算机辅助软件工程(C纪弧)环境。故它构成一正交的二维体系。一维是基于Manna一Pnudi线性时间时序逻辑语言族XYZ/E，另一维是CASE工具集，包括五组工具(交互式验证工具与自动生成工具、记录历史的逐步求精与原型速成工具、结构化设计的可视图形工具、语言转换工具、软件管理工具)，均以XYZ/E表示其语义界面，它们既可独立使用又可根据其输人输出界面语义一致性相互连结组成更复杂的工具。 (柳军飞赵深)
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

参考词条

逻辑型程序设计语言语言逻辑尺逻辑语言论语言值逻辑时序Rough逻辑

语言逻辑逻辑语言 XYZ/ADL语言时序逻辑逻辑时序

说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
	您的位置：首页 -> 词典 -> 时序逻辑语言XYZ/E 1) temporal logic language XYZ/E 时序逻辑语言XYZ/E 例句>> 2) Sequential Logic XYZ/E 线性时序逻辑语言XYZ/E 3) XYZ/E XYZ/E语言 4) temporal logic language 时序逻辑语言 1. XYZ/E is the first executable temporal logic language, which can represent both of the static and dynamic aspects of program. XYZ/E是世界上第一个可执行的时序逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构,本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件,并通过对这些组件及连接件进行特定的组合,来表示几种重要的软件体系结构风 2. The temporal logic language(TLL) XYZ/E can represent both dynamic semantics and static semantic under a unified framework and carry out the smooth transition from abstract specification to execuable program. 时序逻辑语言XYZ/E在统一的形式框架下既能表示静态语义又能表示动态语义,可以实现从抽象描述到可执行程序的平滑过渡。更多例句>> 5) XYZ/E language XYZ/E语育 6) temporal logic language 时态逻辑语言 1. XYZ/E is the first executable temporal logic language,which can desribe abstract static semantics and also express programming dynamic semantics. XYZ/E是世界上第一个可执行的时态逻辑语言 ,它既能描述抽象静态语义 ,又能表示程序的动态语义 ,这一特征恰好适合分层描述软件体系结构 ,文 [1]采用XYZ/E语言刻画了软件体系结构的基本组件与连接件。 2. XYZ/E is the first executable temporal logic language,which can represent both of the static and dynamic aspects of program. XYZ/E是世界上第一个可执行的时态逻辑语言 ,它既能描述抽象静态语义 ,又能表示程序的动态语义 ,这一特征恰好适合分层描述软件体系结构。补充资料：XYZ/E语言族 XYZ/E语言族 XYZ/E language family 　　XYZ/任yuyanzuxYZ/E语言族(xYZ/Elanguage价”nily)一种系列化的时序逻辑语言族，其中各子语言分别表示不同的程序设计方式或程序范型的语言。X、，Z/E由中国科学院计算技术研究所唐稚松于70年代设计，它的最基本的特征是以一统一的框架既能表示适应诺依曼体系的状态转换机制的命令式语言，又能表示适应逻辑推理特征的直言式公式语言。 XYZ/E有三种控制结构:一种是直接表示状态转换的命令形式，具有这种控制结构的子语言称xYZ/BE(即卫进51。XYZ/E);另一种则是结构化高级语言的语句形式，具有这种控制结构的子语言称为XYZ/SE(即Structur司rulef〔)ml XYZ/E);第三种控制结构则是产生式规则的形式，具有这种控制结构的子语言称为XYZ/PE(即Preductlon rule爪〕nllX、艺/E)。 XYZ/E中也包括了表示各种并发性或不确定性、不同通信方式、不同类型的可重用模块的机制。故在一统一的程序中可包含所有这些机制及相应的各种程序设计方式。它同时还能包含表示多种可视图形程序的语义，而且这些图形与相应的XYZ/E程序可相互自动生成。由可重用模块(过程、进程、包块)与并发通信机制结合而成的程序，由于其结合方式不同，可以构成差异很大的总体结构，其中有些情况是互不相容的。可以区分为三种类型:①非分布式环境下基于对象的程序;②非分布式环境下面向对象的程序;③分布式程序。 XYZ系统是将时序逻辑与软件工程有机结合、基于XYZ/E语言的计算机辅助软件工程(C纪弧)环境。故它构成一正交的二维体系。一维是基于Manna一Pnudi线性时间时序逻辑语言族XYZ/E，另一维是CASE工具集，包括五组工具(交互式验证工具与自动生成工具、记录历史的逐步求精与原型速成工具、结构化设计的可视图形工具、语言转换工具、软件管理工具)，均以XYZ/E表示其语义界面，它们既可独立使用又可根据其输人输出界面语义一致性相互连结组成更复杂的工具。 (柳军飞赵深) 　　说明：补充资料仅用于学习参考，请勿用于其它任何用途。参考词条逻辑型程序设计语言语言逻辑尺逻辑语言论语言值逻辑时序Rough逻辑

©2011 dictall.com