收藏本站
《第十一届全国数据库学术会议论文集》1993年
收藏 | 手机打开
二维码
手机客户端打开本文

系统工程的验证方法

姜旭  
【摘要】:系统开发的质量关系到系统开发的成败,如何提高系统开发的效率和质量是系统设计人员一项非常重要的工作.本文就如何在系统设计过程中验证各个阶段的工作进行了阐述,这也是国外很流行的系统工程的验证方法.
【作者单位】:国家信息中心
【分类号】:TP311.52

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 王环环;詹永照;陈锦富;;可信软件分析与测试研究进展[J];计算机应用研究;2011年07期
2 罗婷;郭渊博;郝耀辉;;基于ACSL的密码软件形式化验证方法[J];信息安全与通信保密;2011年07期
3 吴晓燕;吴静;滕江川;陈永兴;;基于后验概率SVM的仿真模型验证方法[J];计算机应用研究;2011年07期
4 仝敏;徐晓光;;操作系统ARINC653标准符合性验证方法的研究[J];航空计算技术;2011年04期
5 于晓浩;刘俊先;陈涛;罗雪山;;事件驱动过程链在军事信息系统建模中的应用[J];火力与指挥控制;2011年07期
6 徐勇;丁忠明;沈小玲;;微观数据外包管理中的安全问题研究进展[J];计算机应用研究;2011年08期
7 王涛;岳亚洲;;基于直方图均衡化的景象匹配导航方法研究[J];电光与控制;2011年07期
8 周倜;李梦君;李舟军;;安全协议逻辑程序不停机性快速预测的动态方法[J];计算机学报;2011年07期
9 晁媛媛;卢雷;;基于分层思想的基本通信系统CPN建模[J];计算机工程;2011年15期
10 杨俊峰;;JSP页面中用户身份验证的设计与实现[J];才智;2011年24期
中国重要会议论文全文数据库 前10条
1 姜旭;;系统工程的验证方法[A];第十一届全国数据库学术会议论文集[C];1993年
2 张敏;洪澄;陈驰;;一种服务器透明的外包数据库查询验证方法[A];第26届中国数据库学术会议论文集(A辑)[C];2009年
3 陈爱真;路长刚;吴魁;;飞行仿真计算精度验证方法研究[A];第13届中国系统仿真技术及其应用学术年会论文集[C];2011年
4 贾连兴;翟成功;刘德祥;;仿真模型校核、验证和确认之浅见[A];2007系统仿真技术及其应用学术会议论文集[C];2007年
5 战茅;李冬红;宗建建;;构件可测试性的评估[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
6 杨平平;杜小勇;王洁萍;;DAS模式下基于密文分组索引的完整性验证[A];第26届中国数据库学术会议论文集(A辑)[C];2009年
7 闵飞炎;杨明;;基于知识的仿真模型的验证方法[A];中国系统仿真学会第五次全国会员代表大会暨2006年全国学术年会论文集[C];2006年
8 廖守亿;戴金海;;基于Agent的建模与仿真模型校核与验证探讨[A];'2006系统仿真技术及其应用学术交流会论文集[C];2006年
9 柳克俊;;系统工程在指挥控制系统方面的应用[A];西部大开发 科教先行与可持续发展——中国科协2000年学术年会文集[C];2000年
10 万福永;揭啸岗;袁震东;;用小波去噪分数幂模型进行图像处理[A];2001中国控制与决策学术年会论文集[C];2001年
中国重要报纸全文数据库 前10条
1 ;如何自定义用户身份验证方法?[N];网络世界;2007年
2 清水 编译;让身份验证更智能[N];计算机世界;2006年
3 中科院计算技术研究所 李树杰 傅 亮;SoC需要验证[N];计算机世界;2004年
4 胡英;闭环跟踪改变软件开发模式[N];计算机世界;2007年
5 于宁斌;如何实现双授权认证级别的安全?[N];网络世界;2007年
6 韩琦;推动企业改善开发可跟踪性[N];中国电脑教育报;2007年
7 本报记者 田梦;EWEBS2008应用虚拟化系统发布[N];计算机世界;2008年
8 编译 沈建苗;防止移动数据外逃[N];计算机世界;2006年
9 宁波东海蓝帆公司总经理 姜建生;企业信息化是一项系统工程[N];中国电子报;2008年
10 ;容灾是一项系统工程[N];中国计算机报;2004年
中国博士学位论文全文数据库 前10条
1 姜志平;基于CADM的C~4ISR系统体系结构验证方法及关键技术研究[D];国防科学技术大学;2007年
2 邓小妮;基于模型检验与仿真的C~4ISR系统需求验证方法研究[D];国防科学技术大学;2008年
3 程亮;基于模型检测的安全操作系统验证方法研究[D];中国科学技术大学;2009年
4 项森;基于逻辑的程序验证方法在高可信软件开发上的应用[D];中国科学技术大学;2006年
5 陈洪辉;基于多视图的C~4ISR系统需求一致性验证方法研究[D];国防科学技术大学;2007年
6 朱近;基于加标记核磁共振成像的心肌形变与应变研究[D];南京理工大学;2006年
7 郭建;在数字系统设计中断言验证的研究[D];西安电子科技大学;2008年
8 陈振邦;服务计算中接口模型与构件设计的研究[D];国防科学技术大学;2009年
9 陈艾;面向能耗优化的分布式实时系统调度算法研究[D];中国科学技术大学;2007年
10 陈圣波;Web应用建模和验证方法研究[D];上海大学;2008年
中国硕士学位论文全文数据库 前10条
1 张晓宇;基于ASP.NET Web MIS安全体系中的验证和授权[D];吉林大学;2006年
2 李亚男;仿真系统模型验证方法和工具研究[D];哈尔滨工业大学;2008年
3 雷达成;基于分解的重构构验证的研究[D];上海交通大学;2012年
4 于洋;基于本体的IEC61968语义信息模型的验证方法研究[D];上海交通大学;2012年
5 张飞;面向公告型文档的电子签章系统研制[D];浙江工业大学;2009年
6 汪洪;基于Petri网的Web服务业务流程验证研究及工具实现[D];合肥工业大学;2007年
7 齐同晔;基于状态转换的工作流验证的研究与实现[D];大连理工大学;2009年
8 袁扬智;2D图形硬件加速引擎的设计优化技术研究[D];国防科学技术大学;2008年
9 颜琬;基于小波分析和DTW的在线手写签名验证方法研究[D];武汉理工大学;2005年
10 王夏泉;基于事务验证方法在PMON项目中的设计与实现[D];华中科技大学;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026