%0 Journal Article
%T 现有Z的工具的比较
%A 庞军
%A 王云峰
%J 计算机科学
%D 1999
%I 
%X 一引言软件开发过程需要大量的工具支撑,如编辑工具,编译工具,调试工具等。这些工具的使用不仅方便了软件的开发,而且合适的工具保证了软件开发的质量,它将使软件开发人员的注意力集中到设计工作本身,而不耗费在设计的相关工作上。形式化方法为计算机系统的规约、实现和验证提供了合理的数学基础,首先对系统进行独立于实现的、基于一定形式化语义的抽象描述,然后经过逐步求精
%K 软件开发
%K Z工具
%K 面向对象
%K 计算机
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=4D2F062A4C0DB0F5E6C8F57ACD467211&yid=B914830F5B1D1078&vid=96C778EE049EE47D&iid=F3090AE9B60B7ED1&sid=46CB27789995047D&eid=E203FB1A272C9DD2&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=1