【摘 要】
：
随着软件可信性问题的凸显,近年来人们开始从不同的角度、不同的出发点研究与软件可信有关的问题。从认识和理解软件的角度,基于对软件的思考以及认识越深入软件越可信这样一
【机 构】
：
国防科学技术大学计算机学院,解放军理工大学指挥自动化学院
【基金项目】
：
国家高技术研究发展计划（863）No.2007AA010301
论文部分内容阅读
随着软件可信性问题的凸显,近年来人们开始从不同的角度、不同的出发点研究与软件可信有关的问题。从认识和理解软件的角度,基于对软件的思考以及认识越深入软件越可信这样一个观点,在对传统的软件可信证据收集与分类方法进行分析的基础上,提出了基于验证的可信证据模型。该证据模型的提出在一定程度上弥补了传统的可信证据收集与分类方法的不足,便于多维性评估,有利于可信演化,符合人的认识习惯。最后,基于该可信证据模型,为探索解决可信评估问题提出了一种可行的方法。
其他文献
四川凉山彝族自治州雷波县杉树堡乡的五里村，是省内外知名的苗木繁育基地。以往，受技术力量的制约，当地育苗大户们的苗木几乎全部由省内外的师傅承担嫁接，给季节性很强的苗木嫁接
期刊涵盖大量信息,且更新周期短,具有一定的时效性,在高校的科研和教学工作中发挥着重要的作用,是高校图书馆的重要馆藏资源,同时也是高校馆藏管理的重要组成部分。本文就期
郭秉文是一位著名的教育家，同时又是一位筹资高手。他利用多种渠道为东南大学筹款，其中最重要的是设立校董事会作为东大的财力后盾。他采取灵活多样的筹款技巧，多渠道筹资为东南
第28届中国数据库学术会议（NDBC2011）将于2011年10月20日至22日在上海举行。本次会议由中国计算机学会数据库专业委员会主办，复旦大学承办，上海市计算机协会数据库专业委员会、上
下文中根据国家家电行业的发展情况和相关企业战略的分析,得到企业人力资源管理方面的内容,例如企业和个人两者之间目标是否相同,考核的方式和相关的制度是否存在不合理情况
就一门新兴的电子商务技术基础课程而言，它在培养当前我国经济社会大量紧缺人才方面的作用是非常重要的，但是由于其特殊的学科性质，决定了很多人对于其课程内容及教师、学生在课
在高职留学生教育中,构建传统文化主体在高职院校留学生教育中的教与学的良性互动模式,在文化交流过程中,探寻文化主体与客体间内在的紧张冲突以及文化多元对话的可能。
本文主要探讨以职业生涯规划为载体,从高职学生的内在需求出发,将学生自己的学习目标、生活目标与其目标职业相结合,转变其被动学习的思想观念,激发学生自我教育的自觉性、主
庄子学说的精华在他的小宇宙理论。他的“心斋”“坐忘”“朝彻…‘见独”等一整套“体道”理论，貌似神秘主义，其实是打开人的心灵之门，开发人的灵性与创造性的独特钥匙。
广东澄海东果绵来日用制品厂，向您长期免费赠送擦鞋样品试用。本品芳香、卫生、方便、不用鞋油鞋刷、拉擦即亮。适应任何颜色皮鞋、旅游鞋、皮衣、皮裤、皮包及人造革，摩托车、