10.3969/j.issn.1009-3044.2007.23.035
基于形式化方法的软件开发技术
形式化方法作为一种以数学为基础的方法,能够清晰、精确、抽象、简明地规范和验证软件系统及其性质,能够极大地提高软件的安全性和可靠性.本文从形式化方法的研究内容、分类以及发展等方面出发,对基于形式化方法的软件开发的基本思想作了介绍,分析了使用形式化开发软件系统的优势和可靠性.
形式化方法、软件开发
4
TP311.5(计算技术、计算机技术)
2008-03-31(万方平台首次上网日期,不代表论文的发表时间)
共3页
1290-1292