期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
构件形式化组装研究
下载PDF
职称材料
导出
摘要
本文主要针对构件组装及其形式化推导研究。笔者通过结合软件构件的特点,通过对构件描述、构件组装规则,以及构件组装等三个方面的研究,提出构件组装机制,能够有效地提高软件开发的质量和效率。
作者
安海宁
娄健
机构地区
河北大学计算中心
出处
《合作经济与科技》
2013年第8期127-128,共2页
Co-Operative Economy & Science
基金
保定市科技计划资助项目(项目编号:10ZC006)
河北大学青年基金项目(项目编号:2011Q07)
关键词
构件
形式化
组装
研究
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
8
参考文献
3
共引文献
84
同被引文献
0
引证文献
0
二级引证文献
0
参考文献
3
1
Shaw M,Deline R,Klein DV. Abstractions for Software Architecture and Tools to Support Them[J].IEEE Transactions on Software Engineering,1995.
2
任洪敏,钱乐秋.
构件组装及其形式化推导研究[J]
.软件学报,2003,14(6):1066-1074.
被引量:80
3
廖昕,陈松乔,孙莹.
可复用构件组装技术研究[J]
.计算技术与自动化,2004,23(3):50-52.
被引量:8
二级参考文献
8
1
孙莹,陈松乔.
基于Web和组件技术的DSS模型设计与实现[J]
.计算机工程,2004,30(10):74-76.
被引量:3
2
Jian Yang,Mike.P.Papazoglou.Service Componentization.In cmmunications of the ACM[J].October 2003, 46(10):35-40.
3
杨芙清,梅宏,李克勤.
软件复用与软件构件技术[J]
.电子学报,1999,27(2):68-75.
被引量:513
4
杨芙清,梅宏,李克勤,袁望洪,吴穹.
支持构件复用的青鸟Ⅲ型系统概述[J]
.计算机科学,1999,26(5):50-55.
被引量:45
5
张世琨,张文娟,常欣,王立福,杨芙清.
基于软件体系结构的可复用构件制作和组装[J]
.软件学报,2001,12(9):1351-1359.
被引量:160
6
胡海洋,杨玫,陶先平,吕建.
Cogent后组装技术研究与实现[J]
.电子学报,2002,30(12):1823-1827.
被引量:13
7
梅宏,陈锋,冯耀东,杨杰.
ABC:基于体系结构、面向构件的软件开发方法[J]
.软件学报,2003,14(4):721-732.
被引量:212
8
任洪敏,钱乐秋.
构件组装及其形式化推导研究[J]
.软件学报,2003,14(6):1066-1074.
被引量:80
共引文献
84
1
张驰.
软件构件匹配技术研究[J]
.微电子学与计算机,2009,26(3):109-112.
被引量:2
2
王青海,崔伟宁,王子强.
基于OSGi的装备保障信息平台体系架构设计与实现[J]
.装甲兵工程学院学报,2013,27(5):62-65.
被引量:1
3
廖昕,陈松乔,孙莹.
可复用构件组装技术研究[J]
.计算技术与自动化,2004,23(3):50-52.
被引量:8
4
费玉奎,王志坚.
构件技术发展综述[J]
.河海大学学报(自然科学版),2004,32(6):696-699.
被引量:10
5
胡金柱,费丽娟,李敏.
一种基于构件组装方式的特征干扰检测方法[J]
.计算机科学,2005,32(1):128-129.
6
李韶华,张健.
Survey Propagation:一种求解SAT的高效算法[J]
.计算机科学,2005,32(1):132-137.
被引量:5
7
林浩.
一种面向检索的构件描述方法[J]
.山东理工大学学报(自然科学版),2005,19(2):71-74.
被引量:3
8
陈生庆,张立臣,陈广明.
面向方面的数字图书馆体系结构[J]
.情报杂志,2005,24(6):6-8.
被引量:3
9
牟树霞,胡金柱,杨明霞,胡龙江,杨治.
基于构件角色模型的组装检测方法探讨[J]
.计算机应用研究,2005,22(7):71-72.
10
余凌云,阳小华.
构件依赖性的显式表达[J]
.南华大学学报(自然科学版),2005,19(1):25-28.
1
崔天伟,娄健,何欣枫.
基于形式化验证的构件组装研究[J]
.大众科技,2011,13(10):27-29.
2
沈宁.
基于软件层架构模式的构件集成组装研究[J]
.计算机与现代化,2012(1):53-56.
被引量:3
3
胡启敏,薛锦云,钟林辉.
基于Spring框架的轻量级J2EE架构与应用[J]
.计算机工程与应用,2008,44(5):115-118.
被引量:67
4
唐运璇,李奎.
基于Petri网的构件表示及组装研究[J]
.中小企业管理与科技,2016(3):227-228.
5
任洪敏,钱乐秋.
构件组装及其形式化推导研究[J]
.软件学报,2003,14(6):1066-1074.
被引量:80
6
许毅,赵文耘,彭鑫,张志.
通用连接器模型及其形式化推导研究[J]
.南京大学学报(自然科学版),2005,41(5):503-511.
被引量:1
7
王舜燕,宁海波,邱昌程,张梅芬.
基于主动服务的构件组装智能代理技术研究[J]
.武汉理工大学学报,2009,31(3):145-149.
被引量:2
8
王斌,吴泉源,刘水平.
基于SOA的JBI构件可视化组装研究[J]
.微计算机信息,2008,24(6):213-215.
9
牟树霞,胡金柱,杨明霞,胡龙江,杨治.
基于构件角色模型的组装检测方法探讨[J]
.计算机应用研究,2005,22(7):71-72.
10
李 军,赵清理,陈 晶.
一种基于Agent的构件组装机制[J]
.聊城师院学报(自然科学版),2001,14(4):68-71.
合作经济与科技
2013年 第8期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部