%0 Journal Article
%T 软件开发中的形式化方法
%A 郑红军
%A 张乃孝
%J 计算机科学
%D 1997
%I 
%X 1形式化方法 随着软件系统复杂度的不断增长,开发正确、可靠的软件,已成为一个巫解决的问题。形式化方法是解决此间题的一个有前途、有希望的技术,它建立在严格的数学基上,其目标是希望能使系统具有
%K 软件开发
%K 形式化方法
%K 需求分析
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=E30D0F05BE1D8AEEFFE013C37DA2C042&yid=5370399DC954B911&vid=B91E8C6D6FE990DB&iid=B31275AF3241DB2D&sid=869807E2D7BED9EC&eid=6700D0D256586E73&journal_id=1002-137X&journal_name=计算机科学&referenced_num=8&reference_num=0