软件开发中的形式化方法介绍

摘要：

软件工程中的形式化方法就是依靠数学模型和计算来描述和验证一个目标软件系统的行为和特性,包括需求规格、设计和实现等,其最根本的一点就是建立在严格的数学基础上的方法.使用形式化方法可以帮助开发者获得对其所描述的系统的深刻而正确的理解,发现并及时更正设计中的错误和缺陷.众多的形式化方法在功能上可以实现互补.目前软件开发中的形式化方法主要是形式化规范说明语言,有Z语言、VDM语言和RAISE语言等.

关键词：形式化方法、软件工程、软件开发

所属期刊栏目：18

分类号：TP311(计算技术、计算机技术)

在线出版日期：2006-07-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：54-57