基于形式化方法的软件开发技术

• 作者: 罗保山
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: 形式化方法 软件开发
• 年，卷（期）: 2007,（12）
• 页码范围: 1290-1292
• 页数: 3页
• 分类号: TP311.5

摘要

形式化方法作为一种以数学为基础的方法，能够清晰、精确、抽象、简明地规范和验证软件系统及其性质，能够极大地提高软件的安全性和可靠性。本文从形式化方法的研究内容、分类以及发展等方面出发，对基于形式化方法的软件开发的基本思想作了介绍，分析了使用形式化开发软件系统的优势和可靠性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	罗保山		34	54	4.0	5.0