原创力文档第卷第期河北科技大学学报年月文章编号形式化方法在软件工程中的应用研究苗德成冯黎波韶关学院数学与信息科学学院广东韶关河北科技大学理学院河北石家庄摘要探讨了形式化方法的基本概念重点研究了形式化方法的数学理论基础和其在软件工程各阶段的应用情况分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因并指出了形式化方法发展的几个方向最后对形式化方法在软件工程中的应用做了评价关键词形式化方法软件规约形式语言软件工程形式系统规约中图分类号文献标志码基于软件工程方法论软件工程是将客观世界实际问题抽象成认识世
第 卷第 期 河 北 科 技 大 学 学 报 ，
３２ ６ Ｖｏｌ．３２ Ｎｏ．６
年 月
２０１１ １２ ＪｏｕｒｎａｌｏｆＨｅｂｅｉＵｎｉｖｅｒｓｉｔ ｏｆＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏ Ｄｅｃ．２０１１
ｙ
文档评论（0）