| 基于问题模式的形式化软件规格说明生成方法 |
| 其他题名 | formal software specification generation approach based on problem patterns
|
| 王昌晶; 罗海梅; 左正康
|
| 2013
|
| 发表期刊 | 计算机研究与发展
 |
| ISSN | 1000-1239
|
| 卷号 | 50期号:2页码:352-360 |
| 摘要 | 精确的形式化软件规格说明是软件描述、开发与验证的基础,而工业界普遍使用非(半)形式化的表示定义与描述用户需求,如何由非(半)形式化的用户需求生成形式化软件规格说明是需求工程的难点之一.将设计模式的概念进行扩展,定义了问题模式,提出了一种基于问题模式形式化软件规格说明生成方法.该方法从结构化自然语言SNL描述的高层问题需求出发,通过选择知识库中的问题模式逐步精化得到各个新的子问题对应的形式化规格说明,之后对各个子问题组合并进行优化以得到最终的形式化规格说明.进一步,使用模型精化演算的原理与概念给出了该生成方法的理论基础.采用算法程序领域作为研究对象并使用Radl语言作为形式化规格说明语言.通过算法程序领域中的典型实例对这一方法进行了详细的描述,实际效果表明该方法能有效地生成高质量形式化规格说明. |
| 收录类别 | CNKI
; WANFANG
|
| 关键词 | 形式化软件规格说明
生成方法
问题模式
模型精化演算
算法程序
|
| 部门归属 | 江西师范大学计算机信息工程学院;计算机科学国家重点实验室(中国科学院软件研究所);中国科学院大学;江西师范大学物理与通信电子学院;
|
| 资助者 | 江西省自然科学基金项目(20122BAB211030)
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | 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.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论