%0 Journal Article
%T On Algebraic Specification and Its Semanteme<br>代数规范描述及其语义的研究
%A Song Qun & Nie Chengqi
%A <br>宋群
%A 聂承启
%J 计算机科学
%D 1994
%I 
%X In this paper. the theories and the concepts of algebraic specification and its semanteme for specification abstract data type are presented. The semantic basis and semantic meaning of algebraic specification are discussed. In the last part of this paper, some examples of modeling abstract data type defined accurately are given.
%K Algebraic Specification
%K Semantic Function
%K Algebraic Class Abstract Data type<br>抽象数据类型
%K 代数规范描述
%K 语义
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=E295EAD648891A7EE77EA14E0D670DE6&yid=3EBE383EEA0A6494&vid=659D3B06EBF534A7&iid=0B39A22176CE99FB&sid=13553B2D12F347E8&eid=BC12EA701C895178&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0