%0 Journal Article
%T 软件开发过程中的形式化方法
%A 朱冰
%A 梅宏
%J 计算机科学
%D 1995
%I 
%X 本文简要介绍了软件开发过程中使用的形式化方法，典型的规范说明语言以及有关的实践活动。
%K 软件开发
%K 规范说明语言
%K 形式化法
%K 程序自动生成
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=C42FEE27497CD04D1C82EFBE5ED112D5&yid=BBCD5003575B2B5F&vid=BC12EA701C895178&iid=CA4FD0336C81A37A&sid=4AD960B5AD2D111A&eid=933658645952ED9F&journal_id=1002-137X&journal_name=计算机科学&referenced_num=4&reference_num=0