首页 | 本学科首页   官方微博 | 高级检索  
     检索      

基于模型的软件开发技术在型号软件研制中的应用
引用本文:张杰,宋志刚.基于模型的软件开发技术在型号软件研制中的应用[J].科学技术与工程,2008,8(15).
作者姓名:张杰  宋志刚
作者单位:中国空空导弹研究院,洛阳,471009
摘    要:软件的安全性和可靠性对于军用软件是至关重要的,而软件的开发模式对软件的安全性影响很大,通过阐述了基于模型的开发技术,并在型号软件建模中进行了应用。结果证明,软件的安全性和可靠性得到了较大提高。

关 键 词:SCADE  弹载软件建模  安全性  模型仿真

Application of Software Developing Technology Based on SCADE Model for Missile-borne system
ZHANG Jie,SONG Zhi-gang.Application of Software Developing Technology Based on SCADE Model for Missile-borne system[J].Science Technology and Engineering,2008,8(15).
Authors:ZHANG Jie  SONG Zhi-gang
Abstract:
Keywords:SCADE
本文献已被 维普 万方数据 等数据库收录!
点击此处可从《科学技术与工程》浏览原始摘要信息
点击此处可从《科学技术与工程》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号