1.
Dependable software construction based on reusable connector
基于可复用连接件的可信软件构造方法
2.
Study on Risk Management of Trusted Software Based on CMMI
基于CMMI的可信软件风险管理研究
3.
One trusted software constitution environment based on aspect-oriented programming
一个面向方面的可信软件开发平台TSCE
4.
Design of Trusted Software Based on MDA and Executable Formalization
基于MDA和可执行形式化的可信软件设计
5.
Certifying Compilation in an Infrastructure for Developing Trustable Software;
可信软件开发框架下的出具证明编译研究
6.
Research on Trustworthy Software Ontology Model Based on Immune Algorithm;
基于免疫算法的可信软件本体模型研究
7.
Research on Methods to Combat Non-Credible Software Based on Virtual Machine Technology
基于虚拟机技术的非可信软件对抗方法研究
8.
Research and implementation of trusted software constitution based on monitoring
基于监控的可信软件构造模型研究与实现
9.
Four-layer ontology model of trusted software system based on immune algorithm
基于免疫算法的可信软件系统四层本体模型
10.
Multi-Layered Trusted Architecture Supporting MLS for Embedded Systems
支持MLS的多层次嵌入式高可信软件架构
11.
Trustworthy Software Evaluation Using Utility Based Evidence Theory
一种基于效用和证据理论的可信软件评估方法
12.
Warning: The authenticity of this content cannot be verified, therefore it cannot be trusted.
警告:无法检查该软件的证书，因此该软件不可信。
13.
The Research on Software Reliability Model and Used in Communication Software;
软件可靠性模型及在通信软件中的应用研究
14.
Signal simulators many be used in software validation.
可以在软件验证中使用信号模拟器。
15.
The system design and implementation of quantitative assessment of the software credibility
软件可信度量评估系统的设计与实现
16.
suppressible complex frame
可删复框架 -软件
17.
suppressible exponent frame
可删阶框架 -软件
18.
commutative primitive
可交换原语 -软件