Research on Software Requirements Specification Database
Research on Software Requirements Specification Database
批准号:
08680381
负责人:
OHNISHI Atsushi
金额:
$1.41万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research (C)
财政年份:
1996
资助国家:
日本
项目状态:
已结题
起止时间:
1996 至 1997
中文摘要
提出了一种从文本和可视化软件需求规范自动建立软件需求规范关系数据库的方法。为了提高SRSS的质量,作者开发了一种称为需求框架的需求模型、一种基于文本的需求语言和一种可视化的需求语言。由于需求框架可以转换为关系数据模型,因此每个需求语句都可以看作是一个关系表的元组,作者一直在为SRS数据库开发查询语言和关系数据库管理系统。SRS数据库系统的特点之一是以请求句为例/反例显示答案。此功能有助于从开发人员自己的角度验证SRS。另一个特性是在SR的修改过程中发现需求的变化,这一特性有助于对SR的有效维护。我们已经开发了原型,并通过一些实例验证了我们的方法。
英文摘要
The author proposes a method to build a relational database of software requirements specifications (SRSs) from textual and visual SRSs automatically. The author has been developing a requirements model named Requirements Frame, a text-base requirements language and a visual requirements language based on the model in order to improve the quality of SRSs. Since Requirements Frame can be transformed into relational data model, each of requirement sentences can be regarded as a tuple of relational table.The author has been developing both a query language and a relational database management system for an SRS database. One of the features of the SRS DB system is to show an answer with a requirement sentence as an example/counter-example. This feature contributes to verify the SRS from a developer's own viewpoint. Another feature is to detect changed requirements in modification of the SRS.This feature contributes to effective maintenance of the SRS.We have developed prototypes and validated our method with some examples.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Atsushi OHNISHI,Hideaki SUGIMOTO: "Detection and Elimination of Erroneous Software Specifications (in Japaneses)" Proc.4th Foundation of Software Engineering (FOSE) Workshop. Vol.4. 83-86 (1997)
Atsushi OHNISHI、Hideaki SUGIMOTO:“错误软件规范的检测和消除(日语)”Proc.4th Foundation of Software Engineering (FOSE) Workshop。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Atsushi Ohnishi: "Visual Software Requirements Language based on Communication Model" Proc.REFSQ'97. 119-130 (1997)
Atsushi Ohnishi:“基于通信模型的可视化软件需求语言”Proc.REFSQ97。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Atsushi Ohnishi: "Software Requirements Specification Database Based on Requiremeents Frame Model" Proc.IEEE ICRE'96. 221-228 (1996)
Atsushi Ohnishi:“基于需求框架模型的软件需求规范数据库”Proc.IEEE ICRE96。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Atsushi OHNISHI,Norihiro TOKUDA: "Visual Software Requirements Definition Environment" Proc.IEEE 21st International Computer Software and Applications Confrernce (COMPSAC). 624-629 (1997)
Atsushi OHNISHI、Norihiro TOKUDA:“可视化软件需求定义环境”Proc.IEEE 第 21 届国际计算机软件和应用程序会议 (COMPSAC)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Atsushi Ohnishi, et al.: "Visual Software Requirements Definition Environment" Proc.21st COMPSAC'97. 624-629 (1997)
Atsushi Ohnishi 等人:“可视化软件需求定义环境”Proc.21st COMPSAC97。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
共 22 条
Research on Scenario Generation using Differential Scenarios
-
批准号:22500039
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.66万
-
财政年份:2010
-
负责人:OHNISHI Atsushi
-
依托单位:
Establishment of RNAi methodology to Bombyx mori strain P50 and application for lepidopteran insects
-
批准号:19580061
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$3.08万
-
财政年份:2007
-
负责人:OHNISHI Atsushi
-
依托单位:
Research on Scenario Verification Method with Rules
-
批准号:17500026
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.24万
-
财政年份:2005
-
负责人:OHNISHI Atsushi
-
依托单位:
Research on Scenario Analysis based on Viewpoints
-
批准号:15500026
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.3万
-
财政年份:2003
-
负责人:OHNISHI Atsushi
-
依托单位:
Supporting methods for detecting and correcting errors in software requirements
-
批准号:13680427
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$0.9万
-
财政年份:2001
-
负责人:OHNISHI Atsushi
-
依托单位:
Research on Verification of Models in Object-oriented Analysis
-
批准号:06680318
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.34万
-
财政年份:1994
-
负责人:OHNISHI Atsushi
-
依托单位:
海外基金