期刊文章详细信息
基于形式化方法的软件开发技术
文献类型：期刊文章
机构地区：[1]武汉软件工程职业学院软件技术系,湖北武汉430015
年 份：2009
期 号：9
起止页码：52-53
语 种：中文
收录情况：普通刊
摘 要：形式化方法作为一种以数学为基础的方法,能够清晰、精确、抽象、简明地规范和验证软件系统及其性质,能够极大地提高软件的安全性和可靠性。本文从形式化方法的研究内容、分类以及发展等方面出发,对基于形式化方法的软件开发的基本思想作了介绍,分析了使用形式化开发软件系统的优势和可靠性。
关 键 词：管理信息系统 本体 原型 实践教学
分 类 号：TP31]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
