可信软件的构造与演化分析专刊前言

来源 :软件学报 | 被引量 : 0次 | 上传用户:chinajovi
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近年来,软件及其运行环境发生了质的变化,边界开放、规模巨大、行为复杂等特点使得软件系统在可信性方面面临许多新的挑战.如何构造和维护可信的软件系统受到了工业界和学术界越来越多的关注和重视,多国政府、组织、企业、科研机构纷纷提出了与可信软件构造与演化相关的研究计划.为了总结国内外在该研究领域所取得的重要研究成果,特别是我国国家高技术研究发展计划(863)、
其他文献
近来,各银行加大了信用卡的推广力度,其问的差异化与个性化越来越明显。理财专家认为,选用一张适合自己的信用卡,既能省钱还能享有更多服务。
随着我国高校体育教学的发展,大学生的健身意识得到显著提高。但就目前来看,我国高校体育教学依然存在一些亟待解决的问题,如传统教学观念厚重、教学目标狭隘、教学内容吸引
汽车零部件是汽车工业发展的基础。根据我国汽车工业十五规划,到2005年将培养5~10家初具国际竞争力的零部件大型企业集团。《国家汽车工业产业政策》将汽车零部件作为汽车工业
田径是体育运动项目的重要组成部分,其重要性不言而喻。田径运动不仅可以强身健体,而且还能够磨练意志,对促进人的身心全面发展具有重要意义。青少年正处于身心成长的重要时
受魏晋南北朝唯美文风的影响,以言理为主要特征的论体文说理趋向艺术化,恰当用典成为其形文之美的重要体现.魏晋南北朝论体文用典的论理特质主要体现在:借用典阐释概念;借用典
为提高外场条件下机载箔条/红外弹投放设备维护检测的效率,设计了基于ZigBee无线技术的原位检测仪;原位检测仪由便携式手持显控终端和6个信号采集装置组成,通过ZigBee技术组
牺牲触击球技战术是棒球比赛中最常见的基本战术,对提高棒球比赛水平和比赛决胜有重要意义。本文分析了棒球牺牲触击球技战术不同训练阶段的训练方法和比赛中的基本应用,结合
上下文相关图文法是描述可视化语言的形式化工具,为了直观地刻画并高效地分析可视化语言,已有图文法形式框架均着重于文法形式和分析算法的研究,而忽略了对它们之间表达能力的分
2005年国际金融比较突出的焦点问题在于美元汇率走势的反转。美元利率持续走高,美联储渐进加息,使得美元投资信心增强,进而促成美国经济增长的稳固性。主要经济和货币体的政策与
2019年是学校体育发展关键的一年,是从顶层设计出发对其提出新时代新标准的重要时点。学校体育作为培养学生德、智、体美全面发展的关键手段,却面临着教育本位缺失的困境。本