%0 Journal Article
%T Language Abstraction, Encapsulation and Development with Transformational Method<br>语言的抽象、封装与变换型开发方法
%A ZHANG Nai-xiao
%A ZHENG Hong-jun
%A QIU Zong-yan
%A <br>张乃孝
%A 郑红军
%A 裘宗燕
%J 软件学报
%D 1998
%I 
%X Language Abstraction, Encapsulation and Development with Transformational Method
%K Formal method
%K software model
%K transformational method
%K language abstraction
%K language encapsulation
%K language family
%K language knowledge base
%K software reuse
%K Garment<br>形式方法
%K 软件模型
%K 变换型方法
%K 语言抽象
%K 语言封装
%K 语言族
%K 语言知识库
%K 软件重用
%K Garment.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=A389CCC4AD926A4D&yid=8CAA3A429E3EA654&vid=9CF7A0430CBB2DFD&iid=DF92D298D3FF1E6E&sid=C4490A71BEB872FA&eid=8566B4AE2A8832E3&journal_id=1000-9825&journal_name=软件学报&referenced_num=3&reference_num=23