基于形式化方法的软件开发技术
来源期刊：软件工程2009年第9期
论文作者：陈丹
文章页码：52 - 53
关键词：管理信息系统;本体;原型;实践教学;
摘 要：形式化方法作为一种以数学为基础的方法,能够清晰、精确、抽象、简明地规范和验证软件系统及其性质,能够极大地提高软件的安全性和可靠性。本文从形式化方法的研究内容、分类以及发展等方面出发,对基于形式化方法的软件开发的基本思想作了介绍,分析了使用形式化开发软件系统的优势和可靠性。
陈丹
武汉软件工程职业学院软件技术系
摘 要：形式化方法作为一种以数学为基础的方法,能够清晰、精确、抽象、简明地规范和验证软件系统及其性质,能够极大地提高软件的安全性和可靠性。本文从形式化方法的研究内容、分类以及发展等方面出发,对基于形式化方法的软件开发的基本思想作了介绍,分析了使用形式化开发软件系统的优势和可靠性。
关键词：管理信息系统;本体;原型;实践教学;
