... 遗传算法 Genetics Algorithm 软件可靠性与安全性 Software Reliability and Safety 形式语义学 Formal Semantics ...
基于1个网页-相关网页
Software Safety and Reliability 软件安全性与可靠性
At the present time, there exist a lot of repetitive work in analysis of software reliability and safety which increase the software development cost.
目前，在软件可靠性与安全性的分析中产生很多重复性工作，增加了软件的开发成本。
As software has been widely used in advanced technology fields (like 211 space program in our country), software reliability and safety has been more and more concerned by people.
随着软件在尖端科技领域(如我国的211航天计划)中的广泛应用，软件可靠性与安全性越来越成为人们最关心的话题。
In these critical fields, the system generally has large scale and complicated logic function, and requires very high reliability and safety of the software.
在这些领域中，软件系统规模庞大，逻辑复杂，其可靠性和安全性往往有很高的要求。
应用推荐