%0 Journal Article
%T 形式化方法在软件工程中的应用研究
%A 苗德成？
%A 冯黎波？
%J 河北科技大学学报
%D 2011
%R 10.7535/hbkd.2011yx06013
%X 探讨了形式化方法的基本概念,重点研究了形式化方法的数学理论基础和其在软件工程各阶段的应用情况,分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因,并指出了形式化方法发展的几个方向,最后对形式化方法在软件工程中的应用做了评价。
%K 形式化方法
%K 软件规约形式语言
%K 软件工程
%K 形式系统
%K 规约
%U http://xuebao.hebust.edu.cn/hbkjdx/ch/reader/view_abstract.aspx?file_no=20110613&flag=1