%0 Journal Article
%T 现有Z面向对象扩充语言的比较
%A 袁晓东
%A 许皓
%J 计算机科学
%D 1997
%I 
%X 引言软件规格说明的形式化技术提供了一种能独立于实现的、可推理的系统数学模型,具有
%K 面向对象
%K 扩充语言
%K Z语言
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=AEAD8B30C86AB7E09BB4B4A4A27B0F14&yid=5370399DC954B911&vid=B91E8C6D6FE990DB&iid=38B194292C032A66&sid=9FFCC7AF50CAEBF7&eid=1D0FA33DA02ABACD&journal_id=1002-137X&journal_name=计算机科学&referenced_num=5&reference_num=0