%0 Journal Article
%T 面向对象软件的形式规格说明技术
%A 全炳哲
%A 金淳兆
%J 计算机科学
%D 1995
%I 
%X 本文介绍四种面向对象形式规格语言。Object-Z是Z语言的一种扩充,可用于面向对象软件需求规格的形式说明。为研究软件维护和逆向工程,提出了Z~(++),是Z的另一种扩充,其中引入了过程式描述机制。COLD-K是基于代数规格说明技术的面向对象软件设计语言,是一种核心语言,可设计面向用户的形式规格语言,JOOSL是基于COLD-K和Z语言的一种面向对象设计语言,可用于软件自动化的研究。
%K 软件工程
%K 面向对象软件
%K 形式规格说明
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=EC339E7631BFFC6D064D35BE9FEA206D&yid=BBCD5003575B2B5F&vid=BC12EA701C895178&iid=CA4FD0336C81A37A&sid=42425781F0B1C26E&eid=ECE8E54D6034F642&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=0