|
|||||
|
|
| 基于形式化方法的软件开发技术 | |
| 作者姓名： | 罗保山 |
| 作者单位： | 武汉软件工程职业学院,湖北武汉430205 |
| 摘 要： | 形式化方法作为一种以数学为基础的方法，能够清晰、精确、抽象、简明地规范和验证软件系统及其性质，能够极大地提高软件的安全性和可靠性。本文从形式化方法的研究内容、分类以及发展等方面出发，对基于形式化方法的软件开发的基本思想作了介绍，分析了使用形式化开发软件系统的优势和可靠性. |
| 关 键 词： | 形式化方法 软件开发 |
| 本文献已被 维普 等数据库收录！ | |
|
||||||||||||||||||
|
||||||||||||||||||
|
||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |