10.3321/j.issn:1002-8331.2007.21.011
构件适应和组装的形式化语义描述
构件适应技术是基于构件的软件工程中一个很难解决的问题,分析了三种构件适应结构的应用条件,采用了形式化语义的方法描述和推导了与构件以及构件适应相关的问题,根据构件描述与应用需求描述动态地选择不同的适应层次来适应构件,从被适应的构件描述中推导出复合构件的描述,为构件适应的形式化分析、组装正确性检验提供了保证,并列出了一些值得进一步研究的问题.
基于构件的软件工程、软件构件、构件组装、构件适应、软件复用、形式化描述
43
TP311(计算技术、计算机技术)
国家自然科学基金60573087
2007-08-20(万方平台首次上网日期,不代表论文的发表时间)
共5页
36-39,45