首页> 中文期刊> 《计算机工程》 >软件需求的形式化转换模型

软件需求的形式化转换模型

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

需求规范错误是软件设计错误的一大类.该文提出了一个软件需求的形式化转换模型,用来将软件需求分析直接、自动地转换为形式化描述,为需求验证提供帮助,避免软件在需求规范上可能产生的错误.

著录项

来源
《计算机工程》 |2007年第5期|73-75|共3页
作者
侯丽珍; 蔡小娟; 邹恒明;
展开▼
作者单位

上海交通大学计算机科学与工程系;

上海;

200240;

上海交通大学计算机科学与工程系;

上海;

200240;

上海交通大学计算机科学与工程系;

上海;

200240;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
软件需求; 形式化转换; 软件可靠性;

相似文献

中文文献
外文文献
专利

1. 航空机载嵌入式控制软件需求建模的形式化工程方法 [J] . 黄怿豪 ,冯劲草 ,郑寒月 . 计算机工程与科学 . 2019,第006期
2. 一种基于形式化技术的安全关键软件需求缺陷挖掘框架 [J] . 王学成 . 产业与科技论坛 . 2018,第019期
3. 基于半形式化软件需求的自动化测试分析工具及其应用 [J] . 陈硕豪 ,常鸣 . 铁道通信信号 . 2016,第0z2期
4. 自适应软件需求的形式化建模与验证 [J] . 雷义伟 ,贲可荣 ,何智勇 . 海军工程大学学报 . 2015,第006期
5. 软件需求获取形式化的案例研究 [J] . 邹盛荣 ,彭昱静 ,郭忠伟 . 现代电子技术 . 2009,第012期
6. 软件需求形式化技术的分析与比较 [C] . 梁正平 ,毋国庆 ,喻超 . 2004年全国理论计算机科学学术年会 . 2004
7. 基于变量关系模型的软件需求形式化验证方法与研究 [A] . 李思洁 . 2020

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号