期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于精确需求定义方法的列车自动保护(ATP)软件开发
1
作者
常鸣
《城市轨道交通研究》
北大核心
2013年第5期92-95,共4页
提出了一种基于精确需求定义的软件开发方法,在软件需求层面,采用易于开发人员理解的"伪代码"形式,精确定义每条功能需求,以此消除自然语言描述的模糊性。即在需求阶段就完整地定义出软件要包含的所有信息内容,并以"需...
提出了一种基于精确需求定义的软件开发方法,在软件需求层面,采用易于开发人员理解的"伪代码"形式,精确定义每条功能需求,以此消除自然语言描述的模糊性。即在需求阶段就完整地定义出软件要包含的所有信息内容,并以"需求变量"的形式在规格书中表示出来。以iCC200型ATP(列车自动保护)软件为例,说明了该方法在安全苛求系统开发中的应用。实践表明,该方法能够避免使用自然语言描述需求的模糊性,减少项目后期的风险,也便于对产品的测试和验证工作。
展开更多
关键词
列车自动保护
软件
需求
精确需求定义
安全苛求系统
在线阅读
下载PDF
职称材料
题名
基于精确需求定义方法的列车自动保护(ATP)软件开发
1
作者
常鸣
机构
卡斯柯信号有限公司
出处
《城市轨道交通研究》
北大核心
2013年第5期92-95,共4页
基金
上海市科委科研计划项目(1151153600)
文摘
提出了一种基于精确需求定义的软件开发方法,在软件需求层面,采用易于开发人员理解的"伪代码"形式,精确定义每条功能需求,以此消除自然语言描述的模糊性。即在需求阶段就完整地定义出软件要包含的所有信息内容,并以"需求变量"的形式在规格书中表示出来。以iCC200型ATP(列车自动保护)软件为例,说明了该方法在安全苛求系统开发中的应用。实践表明,该方法能够避免使用自然语言描述需求的模糊性,减少项目后期的风险,也便于对产品的测试和验证工作。
关键词
列车自动保护
软件
需求
精确需求定义
安全苛求系统
Keywords
ATP （automatic train protection）
software requirement
precise requirement definition
safety critical system
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于精确需求定义方法的列车自动保护(ATP)软件开发
常鸣
《城市轨道交通研究》
北大核心
2013
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
