切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
高可信软件工程技术
高可信软件工程技术
来源 :魅力中国 | 被引量 : 0次 | 上传用户:abc124333
【摘 要】
:
现阶段,随着软件在我国信息社会中发挥的作用越来越重要,软件的使用者对软件保密安全性、软件可靠性以及可靠安全性等有关可信性质的要求越来越高。文章研究分析高可信软件工程
【作 者】
:
齐彦杰
【机 构】
:
中国电信股份有限公司河南分公司
【出 处】
:
魅力中国
【发表日期】
:
2013年10期
【关键词】
:
高可信软件工程
软件保证
分析研究
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
现阶段,随着软件在我国信息社会中发挥的作用越来越重要,软件的使用者对软件保密安全性、软件可靠性以及可靠安全性等有关可信性质的要求越来越高。文章研究分析高可信软件工程技术面临的主要挑战以及现状,提出了基于彤式化方式中的高可信软件技术其突破点与发展趋势。
其他文献
我国无煤柱开采的发展与展望(下)
<正>根据部分井下实测资料,在薄煤层沿空留巷中,工作面后方巷道的支架所受载荷并不大(如表9).同时,某些矿井对沿空留巷支架损坏的统计也表明,沿空留巷状况良好时,棚腿和棚梁
期刊
沿空留巷
无煤柱开采
巷旁支护
巷道断面
支架结构
可缩性支架
巷道维护
梯形支架
跨采
采动
论1927-1937年间国民政府改良传统婚姻制度
南京国民政府成立后,制定民法,改定礼俗,对封建婚姻制度和婚姻习俗进行改良,从法律上废弃了沿袭两千年来的传统婚姻制度,建立起近代改良婚姻制度,具有历史进步意义。但是,由
期刊
国民党
国民政府
改良
婚姻制度
改良双切口锁定钢板治疗复杂胫骨平台骨折的临床疗效
目的:探讨改良双切口锁定钢板治疗复杂胫骨平台骨折的临床疗效及术后Merchant膝关节功能评分情况.方法:采用改良双切口锁定钢板治疗复杂胫骨平台骨折病人16例,观察病人的术中出
期刊
胫骨骨折
改良双切口双钢板
Merchant评分
tibial fracturemodified double incision double plateMer
探讨在体育课教学中产生“违纪行为”的原因及对策
期刊
体育课教学
违纪行为
教学内容
外部环境
原因及对策
教师的主导作用
班干部
体育骨干
体育教育
增强体质
矿井上、下山同时开采的体会
<正>一、基本情况我局于1955年破土施工了两对小井,1957年简易投产后,边生产、边建设,逐步形成了井口多、密度大的局面.各井田的开拓方式多为竖井,主要石门分水平、分组布置
期刊
大巷
巷道布置
水平标高
巷道断面
简易投产
开拓方式
胶带输送机
净断面
巷道维护
胶带机
探析如何提升小学生学习数学的兴趣
学生对学习数学产生兴趣是教师在数学教学中通过多种方法和手段的综合应用,特别是艺术得体地启发诱导,使学生自觉地吸取知识经验形成学习数学的乐趣。因此。在教学过程中.除了从
期刊
小学数学
学习兴趣
课堂教学
科研·育苗·服务——谈师范专科学校科研工作
在高等师范专科学校,科学研究究竟应该放在什么样的位置?朱开轩同志在讲到教学与科研的关系时指出:“高校的科研工作,在为经济建设和社会发展服务的同时,还必须为培养人才培养,它
期刊
高校
培养人才
科研工作
高等师范专科学校
科学研究工作
学术水平
高等学校
服务
科技进步
经济建设
百色起义:创建少数民族革命根据地的壮举——广西红色之旅
百色起义少数民族根据地的建立。极大的促进了我国广西地区的民族团结。这种团结的精神与传统的民族交流融合形式不同,是蕴含一定历史意义的新型民族团结的形式。中国共产党将
期刊
百色起义
革命根据地
广西地区
亚临床甲状腺疾病与稽留流产的相关性研究
目的:分析亚临床甲状腺疾病与稽留流产相关性,降低稽留流产率。方法:收集稽留流产病人71例为观察组,正常妊娠孕妇80名为对照组,检测其血清游离三碘甲状腺原氨酸(FT3)、游离甲
期刊
流产
稽留
亚临床甲状腺疾病
小学学科自主学习环节微课的运用探讨
随着课程改革的不断深入发展,教师为提高教学质量,培养学生的全面发展,创新的教学方法和模式层出不穷。新课改中明确指出教育要以学生为本,让学生成为学习的主人。在小学数学
期刊
小学数学
自主学习
微课运用
与本文相关的学术论文