%0 Journal Article
%T A Formal Method of Interface-Connection Component Composition<br>接口连接式构件组装的一种形式化方法
%A SUN Ying
%A CHEN Song-Qiao
%A <br>孙莹
%A 陈松乔
%J 计算机科学
%D 2006
%I 
%X Component composition is one of the emphasis of research in component based software development. It can greatly improve the efficiency and quality in software development. Currently, most of the component composition technology is implemented under the c
%K Component-based software development
%K Component composition
%K Interface connection composition
%K COmposition deduce<br>基于构件的软件开发
%K 构件组装
%K 接口连接式组装
%K 组装推导
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=1B42E650E0D0D7F7&yid=37904DC365DD7266&vid=27746BCEEE58E9DC&iid=DF92D298D3FF1E6E&sid=82722E2B785EBF0D&eid=80BD0A2EF8664214&journal_id=1002-137X&journal_name=计算机科学&referenced_num=2&reference_num=10