期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Tabular表达式的指称语义研究
被引量：
2
1
作者
张鹏
刘磊
+1 位作者
刘华虓
金英
《软件学报》
EI
CSCD
北大核心
2014年第6期1212-1224,共13页
Tabular表达式是一种采用表格化结构组织函数或关系的形式化描述工具,在需求工程领域中具有广泛的应用,为Tabular表达式建立形式的语义模型是非常必要的.针对Tabular表达式通用模型,给出了Tabular表达式的形式文法及指称语义.通过定义...
Tabular表达式是一种采用表格化结构组织函数或关系的形式化描述工具,在需求工程领域中具有广泛的应用,为Tabular表达式建立形式的语义模型是非常必要的.针对Tabular表达式通用模型,给出了Tabular表达式的形式文法及指称语义.通过定义形式文法中各语法单元的语义指派方程,描述了Tabular表达式的指称语义,分别对传统类型Tabular表达式和新类型Tabular表达式中一些典型表类型的指称语义进行了描述,并与其他几种Tabular表达式的语义描述方法进行了比较.分析结果表明:该语义描述方法不仅准确描述了Tabular表达式的语义,而且不再受Tabular表达式模型和Tabular表达式类型的限制,打破了现有方法的局限性,是一种非常有效的方法.
展开更多
关键词
tabular
表达式
指称语义
软件说明文档
下载PDF
职称材料
Tabular表达式中正规函数表操作的形式语义
2
作者
周文博
刘磊
+1 位作者
张鹏
吕帅
《华南理工大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2019年第2期85-91,共7页
正规函数表是一类典型的Tabular表达式,被广泛应用于软件说明文档.文中对Tabular表达式中正规函数表操作的语义进行研究.首先给出了正规函数表的形式文法,讨论了规整性、完全性和不可交叉性等性质,说明了其求值过程;然后根据操作的影响...
正规函数表是一类典型的Tabular表达式,被广泛应用于软件说明文档.文中对Tabular表达式中正规函数表操作的语义进行研究.首先给出了正规函数表的形式文法,讨论了规整性、完全性和不可交叉性等性质,说明了其求值过程;然后根据操作的影响范围,以内部操作和外部操作为分类标准,分别对二元操作、替换操作、提取操作和扩展操作的语义进行刻画,讨论了各个操作的封闭性;最后通过电梯控制系统实例分析了相关操作的实际应用场景,说明了正规函数表操作的形式语义的合理性和可用性.实例结果表明,文中提出的正规函数表操作的语义描述与实际结果是一致的.
展开更多
关键词
正规函数表
tabular
表达式
操作语义
软件文档
规格说明
下载PDF
职称材料
题名
Tabular表达式的指称语义研究
被引量：
2
1
作者
张鹏
刘磊
刘华虓
金英
机构
吉林大学计算机科学与技术学院
出处
《软件学报》
EI
CSCD
北大核心
2014年第6期1212-1224,共13页
基金
国家自然科学基金(61300049)
教育部新世纪优秀人才支持计划(NCET-10-0436)
+4 种基金
教育部高等学校博士学科点专项科研基金(20120061120059)
中国博士后科学基金(2011M500612)
吉林省重点科技攻关项目(20130206052GX)
吉林省自然科学基金(20101509)
吉林省青年科研基金(20140520069JH)
文摘
Tabular表达式是一种采用表格化结构组织函数或关系的形式化描述工具,在需求工程领域中具有广泛的应用,为Tabular表达式建立形式的语义模型是非常必要的.针对Tabular表达式通用模型,给出了Tabular表达式的形式文法及指称语义.通过定义形式文法中各语法单元的语义指派方程,描述了Tabular表达式的指称语义,分别对传统类型Tabular表达式和新类型Tabular表达式中一些典型表类型的指称语义进行了描述,并与其他几种Tabular表达式的语义描述方法进行了比较.分析结果表明:该语义描述方法不仅准确描述了Tabular表达式的语义,而且不再受Tabular表达式模型和Tabular表达式类型的限制,打破了现有方法的局限性,是一种非常有效的方法.
关键词
tabular
表达式
指称语义
软件说明文档
Keywords
tabular
expression
denotational semantic
software documentation
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
Tabular表达式中正规函数表操作的形式语义
2
作者
周文博
刘磊
张鹏
吕帅
机构
吉林大学计算机科学与技术学院
吉林大学符号计算与知识工程教育部重点实验室
吉林大学软件学院
出处
《华南理工大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2019年第2期85-91,共7页
基金
国家自然科学基金资助项目(61300049)
中国博士后科学基金资助项目(2016M591482)
+3 种基金
吉林省自然科学基金资助项目(20150101054JC
20180101053JC
20190201193JC)
吉林大学研究生创新基金资助项目(101832018C025)~~
文摘
正规函数表是一类典型的Tabular表达式,被广泛应用于软件说明文档.文中对Tabular表达式中正规函数表操作的语义进行研究.首先给出了正规函数表的形式文法,讨论了规整性、完全性和不可交叉性等性质,说明了其求值过程;然后根据操作的影响范围,以内部操作和外部操作为分类标准,分别对二元操作、替换操作、提取操作和扩展操作的语义进行刻画,讨论了各个操作的封闭性;最后通过电梯控制系统实例分析了相关操作的实际应用场景,说明了正规函数表操作的形式语义的合理性和可用性.实例结果表明,文中提出的正规函数表操作的语义描述与实际结果是一致的.
关键词
正规函数表
tabular
表达式
操作语义
软件文档
规格说明
Keywords
normal function table
tabular
expression
operational semantics
software documentation
specification
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Tabular表达式的指称语义研究
张鹏
刘磊
刘华虓
金英
《软件学报》
EI
CSCD
北大核心
2014
2
下载PDF
职称材料
2
Tabular表达式中正规函数表操作的形式语义
周文博
刘磊
张鹏
吕帅
《华南理工大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2019
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
