| Tabular表达式的指称语义研究 |
| |
| 引用本文： | 张鹏,刘磊,刘华虓,金英.Tabular表达式的指称语义研究[J].软件学报,2014,25(6):1212-1224. |
| |
| 作者姓名： | 张鹏 刘磊 刘华虓 金英 |
| |
| 作者单位： | 吉林大学计算机科学与技术学院, 吉林长春 130012;吉林大学计算机科学与技术学院, 吉林长春 130012;吉林大学计算机科学与技术学院, 吉林长春 130012;吉林大学计算机科学与技术学院, 吉林长春 130012 |
| |
| 基金项目： | 国家自然科学基金（61300049）；教育部新世纪优秀人才支持计划（NCET-10-0436）；教育部高等学校博士学科点专项科研基金（20120061120059）；中国博士后科学基金（2011M500612）；吉林省重点科技攻关项目（20130206052GX）；吉林省自然科学基金（20101509）；吉林省青年科研基金（20140520069JH） |
| |
| 摘 要： | Tabular 表达式是一种采用表格化结构组织函数或关系的形式化描述工具，在需求工程领域中具有广泛的应用，为Tabular 表达式建立形式的语义模型是非常必要的.针对Tabular 表达式通用模型，给出了Tabular 表达式的形式文法及指称语义.通过定义形式文法中各语法单元的语义指派方程，描述了Tabular 表达式的指称语义，分别对传统类型Tabular 表达式和新类型Tabular 表达式中一些典型表类型的指称语义进行了描述，并与其他几种Tabular 表达式的语义描述方法进行了比较.分析结果表明：该语义描述方法不仅准确描述了Tabular 表达式的语义，而且不再受Tabular 表达式模型和Tabular 表达式类型的限制，打破了现有方法的局限性，是一种非常有效的方法.
|
| 关 键 词： | Tabular 表达式 指称语义 软件说明文档 |
| 收稿时间： | 2013/2/26 0:00:00 |
| 修稿时间： | 2013/8/21 0:00:00 |
Denotational Semantics of Tabular Expressions |
| |
| ZHANG Peng,LIU Lei,LIU Hua-Xiao and JIN Ying.Denotational Semantics of Tabular Expressions[J].Journal of Software,2014,25(6):1212-1224. |
| |
| Authors: | ZHANG Peng LIU Lei LIU Hua-Xiao and JIN Ying |
| |
| Affiliation: | College of Computer Science and Technology, Jilin University, Changchun 130012, China;College of Computer Science and Technology, Jilin University, Changchun 130012, China;College of Computer Science and Technology, Jilin University, Changchun 130012, China;College of Computer Science and Technology, Jilin University, Changchun 130012, China |
| |
| Abstract: | |
| |
| Keywords: | Tabular expression denotational semantic software documentation |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
