期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
自动制造系统规格说明语言的Petri网语义设计
被引量：
1
1
作者
李志武
贾建援
叶尚辉
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
1996年第3期406-413,共8页
研究了自动制造系统中离散事件的形式化表示方法．依助通信顺序进程设计了制造系统的规格说明语言，在给出事件的Ｐｅｔｒｉ网表示的基础上，讨论了系统行为描述语言的Ｐｅｔｒｉ网语义，即系统Ｐｅｔｒｉ网控制器的静态结构．根据系统...
研究了自动制造系统中离散事件的形式化表示方法．依助通信顺序进程设计了制造系统的规格说明语言，在给出事件的Ｐｅｔｒｉ网表示的基础上，讨论了系统行为描述语言的Ｐｅｔｒｉ网语义，即系统Ｐｅｔｒｉ网控制器的静态结构．根据系统行为的描述语言及Ｐｅｔｒｉ网控制器的结构，可以研究具有活性、安全或有界性以及可逆性的Ｐｅｔｒｉ网控制器初始标识的设计算法．因此，制造系统规格说明语言的Ｐｅｔｒｉ网语义设计。
展开更多
关键词
自动制造系统
规格说明语言
PETRI网
CIM
在线阅读
下载PDF
职称材料
规格说明语言ChiSL
2
作者
许创
陈沐天
徐永森
《高技术通讯》
CAS
CSCD
1995年第2期7-12,共6页
ＣｈｉＳＬ是一种作用式可执行的功能规格说明语言，它是以数据抽象为核心的将代数规格说明和面向模型的规格说明两种技术有机地结合起来的模块化语言，具有良好的数学性质和可读性，能比较方便地书写大型规格说明。由于该语言是可执行...
ＣｈｉＳＬ是一种作用式可执行的功能规格说明语言，它是以数据抽象为核心的将代数规格说明和面向模型的规格说明两种技术有机地结合起来的模块化语言，具有良好的数学性质和可读性，能比较方便地书写大型规格说明。由于该语言是可执行的，因此ＣｈｉＳＬ规格说明可作为所要开发的软件系统的一个原型在该语言的支撑系统上执行。本文后面介绍了使用ＣｈｉＳＬ语言及其支撑系统开发软件原型的一些应用实例。
展开更多
关键词
软件工程
规格说明语言
程序设计
在线阅读
下载PDF
职称材料
用Z语言描述排课问题的形式化模型
3
作者
喻钧
容晓峰
曹子建
《西安工业大学学报》
CAS
2008年第4期375-382,共8页
为了使目标软件系统具有较高的可靠性和正确性、并易于维护,在系统的需求规格说明中引入了形式化方法.使用面向对象的形式规格说明语言Z,以一个复杂的NP完全问题——排课问题为例,描述了构建一个排课系统的形式化模型的过程,并用Java实...
为了使目标软件系统具有较高的可靠性和正确性、并易于维护,在系统的需求规格说明中引入了形式化方法.使用面向对象的形式规格说明语言Z,以一个复杂的NP完全问题——排课问题为例,描述了构建一个排课系统的形式化模型的过程,并用Java实现了模型中的一个实例.结果表明,形式化模型能够精确地定义和描述目标系统的数据模型、状态和操作,大大提高系统设计和开发的质量.
展开更多
关键词
形式化方法
规格说明语言
Z
排课问题
形式化模型
在线阅读
下载PDF
职称材料
题名
自动制造系统规格说明语言的Petri网语义设计
被引量：
1
1
作者
李志武
贾建援
叶尚辉
机构
西安电子科技大学电子机械学院
出处
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
1996年第3期406-413,共8页
基金
国家自然科学基金
文摘
研究了自动制造系统中离散事件的形式化表示方法．依助通信顺序进程设计了制造系统的规格说明语言，在给出事件的Ｐｅｔｒｉ网表示的基础上，讨论了系统行为描述语言的Ｐｅｔｒｉ网语义，即系统Ｐｅｔｒｉ网控制器的静态结构．根据系统行为的描述语言及Ｐｅｔｒｉ网控制器的结构，可以研究具有活性、安全或有界性以及可逆性的Ｐｅｔｒｉ网控制器初始标识的设计算法．因此，制造系统规格说明语言的Ｐｅｔｒｉ网语义设计。
关键词
自动制造系统
规格说明语言
PETRI网
CIM
Keywords
automated manufacturing system
specification language
Petri net
process
trace
event
resource
分类号
TH166 [机械工程—机械制造及自动化]
在线阅读
下载PDF
职称材料
题名
规格说明语言ChiSL
2
作者
许创
陈沐天
徐永森
机构
广东省汕头大学计算机系
出处
《高技术通讯》
CAS
CSCD
1995年第2期7-12,共6页
基金
国家自然科学基金
文摘
ＣｈｉＳＬ是一种作用式可执行的功能规格说明语言，它是以数据抽象为核心的将代数规格说明和面向模型的规格说明两种技术有机地结合起来的模块化语言，具有良好的数学性质和可读性，能比较方便地书写大型规格说明。由于该语言是可执行的，因此ＣｈｉＳＬ规格说明可作为所要开发的软件系统的一个原型在该语言的支撑系统上执行。本文后面介绍了使用ＣｈｉＳＬ语言及其支撑系统开发软件原型的一些应用实例。
关键词
软件工程
规格说明语言
程序设计
Keywords
Software engineerin,Specification language,Rapid prototyping
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
TP312 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
用Z语言描述排课问题的形式化模型
3
作者
喻钧
容晓峰
曹子建
机构
西安工业大学计算机科学与工程学院
出处
《西安工业大学学报》
CAS
2008年第4期375-382,共8页
基金
西安工业大学校长基金(XAGDXJJ0620)
文摘
为了使目标软件系统具有较高的可靠性和正确性、并易于维护,在系统的需求规格说明中引入了形式化方法.使用面向对象的形式规格说明语言Z,以一个复杂的NP完全问题——排课问题为例,描述了构建一个排课系统的形式化模型的过程,并用Java实现了模型中的一个实例.结果表明,形式化模型能够精确地定义和描述目标系统的数据模型、状态和操作,大大提高系统设计和开发的质量.
关键词
形式化方法
规格说明语言
Z
排课问题
形式化模型
Keywords
formal methods
specification language Z
class scheduling problem
formal models
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
自动制造系统规格说明语言的Petri网语义设计
李志武
贾建援
叶尚辉
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
1996
1
在线阅读
下载PDF
职称材料
2
规格说明语言ChiSL
许创
陈沐天
徐永森
《高技术通讯》
CAS
CSCD
1995
0
在线阅读
下载PDF
职称材料
3
用Z语言描述排课问题的形式化模型
喻钧
容晓峰
曹子建
《西安工业大学学报》
CAS
2008
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
