10.3969/j.issn.1000-3045.2002.06.002
高可靠软件研究:向信息技术的未来投资
随着社会对信息技术的依赖性日益增长,如何提高处于信息技术核心的计算机软件的可靠性成为一个紧迫的问题.测试仍然是目前工业界广泛采用的确认软件是否正确可靠的主要手段,而形式化方法被认为是非常有希望的新途径.高可靠软件的研究将直接影响到下一代软件技术的形成.
信息技术、高可靠软件、测试、形式化方法
17
TP3(计算技术、计算机技术)
2005-03-03（万方平台首次上网日期，不代表论文的发表时间）
共3页
404-406
