%0 Journal Article %T Language Abstraction, Encapsulation and Development with Transformational Method
语言的抽象、封装与变换型开发方法 %A ZHANG Nai-xiao %A ZHENG Hong-jun %A QIU Zong-yan %A
张乃孝 %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
形式方法 %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