基于问题模式的形式化软件规格说明生成方法
文献类型：期刊论文
| 作者 | 王昌晶 ; 罗海梅 ; 左正康 |
| 刊名 | 计算机研究与发展
 |
| 出版日期 | 2013 |
| 卷号 | 50期号:2页码:352-360 |
| 关键词 | 形式化软件规格说明 生成方法 问题模式 模型精化演算 算法程序 |
| ISSN号 | 1000-1239 |
| 其他题名 | formal software specification generation approach based on problem patterns |
| 中文摘要 | 精确的形式化软件规格说明是软件描述、开发与验证的基础,而工业界普遍使用非(半)形式化的表示定义与描述用户需求,如何由非(半)形式化的用户需求生成形式化软件规格说明是需求工程的难点之一.将设计模式的概念进行扩展,定义了问题模式,提出了一种基于问题模式形式化软件规格说明生成方法.该方法从结构化自然语言SNL描述的高层问题需求出发,通过选择知识库中的问题模式逐步精化得到各个新的子问题对应的形式化规格说明,之后对各个子问题组合并进行优化以得到最终的形式化规格说明.进一步,使用模型精化演算的原理与概念给出了该生成方法的理论基础.采用算法程序领域作为研究对象并使用Radl语言作为形式化规格说明语言.通过算法程序领域中的典型实例对这一方法进行了详细的描述,实际效果表明该方法能有效地生成高质量形式化规格说明. |
| 收录类别 | CNKI ; WANFANG |
| 资助信息 | 江西省自然科学基金项目(20122BAB211030) |
| 语种 | 中文 |
| 公开日期 | 2013-09-17 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/15571]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | 王昌晶,罗海梅,左正康. 基于问题模式的形式化软件规格说明生成方法[J]. 计算机研究与发展,2013,50(2):352-360. |
| APA | 王昌晶,罗海梅,&左正康.(2013).基于问题模式的形式化软件规格说明生成方法.计算机研究与发展,50(2),352-360. |
| MLA | 王昌晶,et al."基于问题模式的形式化软件规格说明生成方法".计算机研究与发展 50.2(2013):352-360. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。