论文部分内容阅读
随着软件在信息社会中发挥日益重要的作用 ,人们对软件可靠性、可靠安全性和保密安全性等可信性质的要求也愈来愈高 .本文讨论了高可信软件工程技术的现状和面临的主要挑战 ,给出了基于形式化方法的高可信软件技术的发展趋势和突破点
高可信软件工程技术
【摘 要】
：
随着软件在信息社会中发挥日益重要的作用 ,人们对软件可靠性、可靠安全性和保密安全性等可信性质的要求也愈来愈高 .本文讨论了高可信软件工程技术的现状和面临的主要挑战 ,
【出 处】
：
电子学报
【发表日期】
：
2003年S1期
【基金项目】
：
国家自然科学基金项目 (No.90 1 0 4 0 0 7,No .60 2 330 2 0,No .60 30 30 1 3);国家 863项目 (No.2 0 0 1AA1 1 32 0 2 );霍英东青年教师基金 (No .71 0 64)
其他文献
物资采购中供应商管理直接影响企业的经济效益、市场竞争力和材料采购成本的控制,是企业加强自身内部管理的重要环节。文章在分析供应商服务水平对施工企业重要性的基础上,提
通过信息化科技,旨在打造信息互联、资源共享、智能立体的社区治安防控网络,为公安、综治等部门提供全方位社会治理与决策依据,实现面向社区个体、群体的精细化管理和精准化
2012年4月份,FDA (U.S. Food and Drug Administration,美国食品药品监督管理局)发布了一个速释剂型和一个缓释剂型的QbD (Quality by Design,质量源于设计)应用示例,该两份
中小学学校治理指的是对中小学发展中各利益主体之间的关系进行有效调控,如各主体之间的权力与义务的关系,决策、运行与监督的关系等。将传统的中小学管理模式转变为治理模式
目的:探讨实施骨健康关爱项目对老年骨质疏松症患者治疗依从性的干预效果。方法:选择骨质疏松老年患者497例,随机分成干预组(n=246)和对照组(n=251)。对照组患者住院期间接受
会计委派制因其特有的优势,开始逐渐应用到行政事业单位;本文分析了会计委派制的特点,从会计理论、实施目的、基本模式以及管理制度等方面详细探讨了会计委派制应用于行政事
对于采用大规模MIMO技术的时分双工系统,天线互易误差会破坏上下行信道互易特性,大幅降低预编码算法下行传输性能。由于实际系统难以完全消除天线互易误差,该文以最大化各用
大兴安岭中南段是我国北方重要的铜多金属成矿集中区。文章对大兴安岭中南段的区域成矿地质背景、矿床时空分布规律、矿床分布与构造-岩浆活动及地层的关系、矿床类型等进行
简要介绍了天然气长输管道中压力调节系统的设计原则及目标,详细描述了国内压力调节系统主要的配置方式、系统构成及各配置方式的特点,探讨了调节阀的选型及压力调节系统与站
传统单基地SAR成像系统基于点目标模型且观测视角单一,在对复杂场景成像时存在线目标边缘不连续,特征丢失等现象。针对这一问题,本文提出了一种多基地SAR构型下线目标参数反