期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种基于类型约束的泛型Java程序重构方法
被引量:
2
1
作者
陈林
徐宝文
+1 位作者
周晓宇
曹璟
《电子学报》
EI
CAS
CSCD
北大核心
2007年第B12期185-191,共7页
泛化关系重构是一类非常重要的重构方法,能否实施这类重构取决于程序中的类型约束.本文针对现有泛化关系重构方法在处理泛型程序时不考虑参数化类型的约束,会破坏程序类型正确性的问题,提出了一组泛型Java程序的类型约束规则,通过...
泛化关系重构是一类非常重要的重构方法,能否实施这类重构取决于程序中的类型约束.本文针对现有泛化关系重构方法在处理泛型程序时不考虑参数化类型的约束,会破坏程序类型正确性的问题,提出了一组泛型Java程序的类型约束规则,通过构造类型约束图分析了重构前后程序的类型约束,并给出了提炼接口和成员上移的自动化重构算法,可以在与程序代码规模成线性关系的时间内实施重构,并有效地保证程序的类型正确性.
展开更多
关键词
重构
泛型java
类
型
约束
软件维护
在线阅读
下载PDF
职称材料
题名
一种基于类型约束的泛型Java程序重构方法
被引量:
2
1
作者
陈林
徐宝文
周晓宇
曹璟
机构
东南大学计算机科学与工程学院
江苏省软件质量研究所
出处
《电子学报》
EI
CAS
CSCD
北大核心
2007年第B12期185-191,共7页
基金
国家杰出青年科学基金(No.60425206)
国家自然科学基金(No.60403016)
+2 种基金
高等学校博士学科点专项科研基金(No.20060286020)
江苏省自然科学基金(No.BK2006094)
江苏省高技术研究项目(No.BG2005032)
文摘
泛化关系重构是一类非常重要的重构方法,能否实施这类重构取决于程序中的类型约束.本文针对现有泛化关系重构方法在处理泛型程序时不考虑参数化类型的约束,会破坏程序类型正确性的问题,提出了一组泛型Java程序的类型约束规则,通过构造类型约束图分析了重构前后程序的类型约束,并给出了提炼接口和成员上移的自动化重构算法,可以在与程序代码规模成线性关系的时间内实施重构,并有效地保证程序的类型正确性.
关键词
重构
泛型java
类
型
约束
软件维护
Keywords
refactoring
generic
java
type constraint
software maintenance
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种基于类型约束的泛型Java程序重构方法
陈林
徐宝文
周晓宇
曹璟
《电子学报》
EI
CAS
CSCD
北大核心
2007
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部