中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Title:
基于问题模式的形式化软件规格说明生成方法
Alternative Title: formal software specification generation approach based on problem patterns
Author: 王昌晶 ; 罗海梅 ; 左正康
Keyword: 形式化软件规格说明 ; 生成方法 ; 问题模式 ; 模型精化演算 ; 算法程序
Source: 计算机研究与发展
Issued Date: 2013
Volume: 50, Issue:2, Pages:352-360
Indexed Type: CNKI ; WANFANG
Department: 江西师范大学计算机信息工程学院;计算机科学国家重点实验室(中国科学院软件研究所);中国科学院大学;江西师范大学物理与通信电子学院;
Sponsorship: 江西省自然科学基金项目(20122BAB211030)
Abstract: 精确的形式化软件规格说明是软件描述、开发与验证的基础,而工业界普遍使用非(半)形式化的表示定义与描述用户需求,如何由非(半)形式化的用户需求生成形式化软件规格说明是需求工程的难点之一.将设计模式的概念进行扩展,定义了问题模式,提出了一种基于问题模式形式化软件规格说明生成方法.该方法从结构化自然语言SNL描述的高层问题需求出发,通过选择知识库中的问题模式逐步精化得到各个新的子问题对应的形式化规格说明,之后对各个子问题组合并进行优化以得到最终的形式化规格说明.进一步,使用模型精化演算的原理与概念给出了该生成方法的理论基础.采用算法程序领域作为研究对象并使用Radl语言作为形式化规格说明语言.通过算法程序领域中的典型实例对这一方法进行了详细的描述,实际效果表明该方法能有效地生成高质量形式化规格说明.
Language: 中文
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/15571
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
王昌晶,罗海梅,左正康. 基于问题模式的形式化软件规格说明生成方法[J]. 计算机研究与发展,2013-01-01,50(2):352-360.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[王昌晶]'s Articles
[罗海梅]'s Articles
[左正康]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[王昌晶]‘s Articles
[罗海梅]‘s Articles
[左正康]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace