%0 Journal Article
%T 软件开发过程中的形式化方法
%A 朱冰 梅宏？
%J 计算机科学
%D 1995
%X 本文简要介绍了软件开发过程中使用的形式化方法，典型的规范说明语言以及有关的实践活动。
%K 软件开发规范说明语言形式化法程序自动生成
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=1798727&flag=1