...以模块化软件系统为研究对象，基于软件 1 引言 模块的可靠性和模块在系统中的重要性共同决定系 可信软件（Trustworthy Software）是目前的热 统可靠性的设计思想，研究可信软件系统的可靠性。点研究领域之一。
基于40个网页-相关网页
Design For Trustworthy Software 可信赖软件建模 ; 为可信赖软件的设计 ; 软件的设计
trustworthy software evaluation 可信软件评估
Trustworthy Software Ontology Model 可信软件本体模型
With the formal method, we can not only describe the formal specification of system, and also verify the system’s properties in the different point of view. Therefore formal method attracts more and more attentions in developing trustworthy software.
形式化方法可以对系统进行严格的规约,并可以从不同的角度验证开发的系统是否具有所期望的性质,在高可信软件的开发中越来越受重视。
参考来源 - Isabelle定理证明器的剖析及其在PAR方法/PAR平台中的应用·2,447,543篇论文数据，部分数据来源于NoteExpress
Formal method is an important approach for construction of the trustworthy software.
形式化方法是构建可信软件的重要途径。
Among the existing assessment methods for trustworthy software process, the results are largely based on assessors' knowledge and experience, which will compromise the objectivity of those results.
现有软件过程可信性评估方法中，评估结果往往基于评估人员的主观经验，其准确性和客观性无法得到保证。
It's a big question: how trustworthy is the software I use on my computer?
我们电脑里边使用的软件是否值得信赖？
应用推荐