%0 Journal Article
%T Z和VDM规格说明的差异比较
%A 孙未未
%A 白雪峰
%J 计算机科学
%D 1997
%I 
%X 实现软件开发过程各阶段的自动化是软件工程的重要目标之一。软件自动化的前提是形式,包括软件需求规格、软件设计规格和算法描述等的形式化。形式化软件规格说明不仅是对用需求,也是对软件系统的严格定义,在软件开发中有着相当重要
%K Z规格
%K VDM规格
%K 规格说明
%K 软件开发
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=E8B1F30711DF337A9E4F4CAA15FF6957&yid=5370399DC954B911&vid=B91E8C6D6FE990DB&iid=E158A972A605785F&sid=67969BA850333433&eid=9C65ADEB5990B252&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0