摘要
FindBugs,2009年。 http://findbugs.sourceforge.net/。 谷歌学者 PMD,2009年。 http://pmd.sourceforge.net/。 谷歌学者 M.Abi-Antoun、J.Aldrich和W.Coelho。 重新设计以加强体系结构控制流和数据共享的案例研究。 系统与软件杂志 , 80(2):240--264, 2007. 谷歌学者 数字图书馆 J.Aldrich和C.Chambers。 所有权域:将别名策略与机制分离。 编辑M.Odersky, ECOOP’04——面向对象编程欧洲会议 ,第3086卷,共页 计算机科学课堂讲稿 ,第1-25页,挪威奥斯陆,2004年。 斯普林格·弗拉格。 谷歌学者 J.Aldrich、C.Chambers和D.Notkin。 ArchJava中的架构推理。 在 2002年ECOOP会议记录 ,第2374卷,共页 LNCS公司 ,第334--367页。 Springer Verlag,2002年。 谷歌学者 数字图书馆 J.Aldrich、C.Chambers和D.Notkin。 ArchJava:将软件架构连接到实现。 在 第24届国际软件工程会议记录(ICSE-02) ,第187-197页。 ACM出版社,2002年。 谷歌学者 数字图书馆 P.André、N.Anquetil、G.Ardourel、J.-C.Royer、P.Hnetynka、T.Poch、D.Petrascu和V.Petrascu。 Javacompext:从java源代码中提取架构元素。 在 第十六届逆向工程工作会议记录(WCRE 2009),工具演示 ,第377-378页,法国里尔,2009年10月。 谷歌学者 数字图书馆 S.Becker、M.Hauck、M.Trifu、K.Krogmann和J.K.n.用于质量预测的逆向工程组件模型。 在 第14届欧洲软件维护和再工程会议记录,欧洲项目跟踪 , 2010. 谷歌学者 数字图书馆 J.Bosch、C.A.Szyperski和W.Weck。 面向组件的编程。 在 ECOOP研讨会 ,第34-49页,2003年。 谷歌学者 数字图书馆 I.T.Bowman、M.W.Godfrey和R.C.Holt。 从java程序中提取源模型:解析、反汇编还是概要? 未发表的论文可在 http://plg.uwaterloo.ca/migod/papers/1999/paste99.pdf 谷歌学者 S.Chardigny、A.Seriai、M.Oussalah和D.Tamzalit。 从面向对象系统中提取基于组件的体系结构。 在 WICSA公司 ,第285--288页。 IEEE计算机协会,2008年。 谷歌学者 数字图书馆 S.Chardigny、A.Seriai、D.Tamzalit和M.Oussalah。 从面向对象系统中提取基于组件的体系结构的质量驱动。 在 CSMR公司 ,第269--273页。 IEEE,2008年。 谷歌学者 数字图书馆 L.Chouambe、B.Klatt和K.Krogmann。 基于组件系统的逆向工程软件模型。 在 CSMR公司 ,第93-102页。 IEEE,2008年。 谷歌学者 数字图书馆 I.克伦科维奇。 基于组件的软件工程——软件开发中的新挑战。 软件焦点 , 2(4):127--133, 2001. 谷歌学者 交叉引用 I.Crnkovic、S.Sentilles、A.Vulgarakis和M.Chaudron。 软件组件模型的分类框架。 IEEE软件工程学报 ,提交出版日期:2010年10月1-25日。 谷歌学者 数字图书馆 M.C.da Silva Jr.、P.A.de Castro Guerra和C.M.F.Rubira。 用于不断发展的软件系统的java组件模型。 在 ASE公司 ,第327-330页。 IEEE计算机学会,2003年。 谷歌学者 Eclipse基金会。 Java开发工具 , 2010. http://www.eclipse.org/jdt/。 谷歌学者 J.-M.Favre、J.Estublier、F.Duclos、R.Sanlaville和J.-J.Auffret。 对大型基于组件的软件产品进行逆向工程。 在 CSMR’01:第五届欧洲软件维护和再工程会议记录 ,第95页,华盛顿特区,美国,2001年。 IEEE标准。 谷歌学者 数字图书馆 J.Gargiulo和S.Mancoridis。 小工具:提取Java程序动态结构的工具。 在 SEKE:软件工程和知识工程 ,第244-251页,2001年。 谷歌学者 D.加兰。 软件架构:路线图。 在 ICSE’00:软件工程未来会议记录 ,第91-101页,美国纽约州纽约市,2000年。 ACM公司。 谷歌学者 数字图书馆 M.Gouláo和F.B.Abreu。 软件质量度量:概念和方法 ,第章,支持软件组件重用性评估的基于度量的方法概述”。信息技术。ICFAI图书(印度),2007年。 谷歌学者 L.Hochstein和M.Lindvall。 对抗建筑退化:一项调查。 信息&; 软件技术 , 47(10):643--656, 2005. 谷歌学者 数字图书馆 R.K.Keller、R.Schauer、S.Robitaille和P.Pagé。 基于模式的设计组件逆向工程。 在 ICSE’99:第21届软件工程国际会议论文集 ,第226--235页,美国加利福尼亚州洛斯阿拉米托斯,1999年。 IEEE CS出版社。 谷歌学者 数字图书馆 J.Knopel和M.Lindvall。 软件架构(architecture)可视化和评估(evaluation)。 保存网站: http://www.fc-md.umd.edu/save/about.aspx ,2009年。 谷歌学者 R.Koschke。 用于程序理解和演化的原子体系结构组件恢复 2000年,斯图加特大学计算机科学研究所博士论文。 谷歌学者 R.Koschke、G.Canfora和J.Czeranski。 重温组件回收的ΔIC方法。 科学。 计算。 程序 ., 60(2):171--188, 2006. 谷歌学者 数字图书馆 D.C.Luckham、J.L.Kenney、L.M.Augustin、J.Vera、D.Bryan和W.Mann。 使用Rapide规范和分析系统架构。 IEEE软件工程汇刊 , 21(4):336--355, 1995. 谷歌学者 数字图书馆 S.Mahmood、R.Lai、Y.S.Kim、J.H.Kim、S.C.Park和H.S.Oh。 基于组件的系统质量保证和评估的调查。 信息&; 软件技术 , 47(10):693--707, 2005. 谷歌学者 数字图书馆 N.Medvidovic和R.N.Taylor。 软件体系结构描述语言的分类和比较框架。 IEEE软件工程汇刊 , 26(1):70--93, 2000. 谷歌学者 数字图书馆 T.Mens和T.Tourwe。 软件重构综述。 IEEE软件工程汇刊 ,30(2):126-1392004年2月。 谷歌学者 数字图书馆 J.-C.罗耶。 面向对象程序的类型检查:问题的核心和一些解决方案。 面向对象编程杂志 , 11(6):58--66, 1998. ISSN 0896--8438。 谷歌学者 J.-C.罗耶。 JCE检查器。 http://www.emn.fr/z-info/jroyer/JCE/index.html , 2010. 谷歌学者 B.R.Schmerl、J.Aldrich、D.Garlan、R.Kazman和H.Yan。 从运行的系统中发现体系结构。 IEEE软件工程汇刊 , 32(7):454--466, 2006. 谷歌学者 数字图书馆 H.Washizaki和Y.Fukazawa。 通过重构从面向对象程序中自动提取组件的技术。 计算机程序设计科学 , 56(1--2):99--116, 2005. 谷歌学者 数字图书馆
建议
研究代码气味聚集和体系结构关注点之间的关系:与分布式、面向服务和移动系统的相似性和差异性 SBCARS’18:第七届巴西软件组件、架构和重用研讨会会议记录 上下文:软件架构师通常在将资产(例如组件)纳入软件系统之前决定策略。 同时,他们还负责防止设计问题导致的代码和架构降级。 问题:。。。 Java中的交集类型 PPPJ’08:第六届Java编程原理与实践国际研讨会论文集 过去我们分析过无类型的Java程序。 我们的结果之一是,一种方法可能有不同的正确类型。 这意味着此类方法的主要类型是交集类型。 我们提出了一种类型引用算法。 对于。。。 从代码指针的答案类型中构造规则 2006年POPL会议记录 我们为处理代码指针和跳转的汇编语言片段定义了一个类型系统,它也可以被视为简单的Hoare逻辑。 类型化的目的是为了进行局部推理,即只有代码指针的类型是。。。