An automated approach for supporting software reuse via reverse engineering

Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) Pub Date : 1998-10-13 DOI:10.1109/ASE.1998.732586

G. Gannod, Yonghao Chen, B. Cheng

{"title":"An automated approach for supporting software reuse via reverse engineering","authors":"G. Gannod, Yonghao Chen, B. Cheng","doi":"10.1109/ASE.1998.732586","DOIUrl":null,"url":null,"abstract":"Formal approaches to software reuse rely heavily upon a specification matching criterion, where a search query using formal specifications is used to search a library of components indexed by specifications. In previous investigations, we addressed the use of formal methods and component libraries to support software reuse and construction of software based on component specifications. A difficulty for all formal approaches to software reuse is the creation of the formal indices. We have developed an approach to reverse engineering that is based on the use of formal methods to derive formal specifications of existing programs. In this paper, we present an approach for combining software reverse engineering and software reuse to support populating specification libraries for the purposes of software reuse. In addition, we discuss the results of our initial investigations into the use of tools to support an entire process of populating and using a specification library to construct a software application.","PeriodicalId":306519,"journal":{"name":"Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1998-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"13","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ASE.1998.732586","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 13

Abstract

Formal approaches to software reuse rely heavily upon a specification matching criterion, where a search query using formal specifications is used to search a library of components indexed by specifications. In previous investigations, we addressed the use of formal methods and component libraries to support software reuse and construction of software based on component specifications. A difficulty for all formal approaches to software reuse is the creation of the formal indices. We have developed an approach to reverse engineering that is based on the use of formal methods to derive formal specifications of existing programs. In this paper, we present an approach for combining software reverse engineering and software reuse to support populating specification libraries for the purposes of software reuse. In addition, we discuss the results of our initial investigations into the use of tools to support an entire process of populating and using a specification library to construct a software application.

查看原文本刊更多论文

通过逆向工程支持软件重用的自动化方法

软件重用的形式化方法严重依赖于规范匹配标准，其中使用形式化规范的搜索查询来搜索由规范索引的组件库。在之前的调查中，我们讨论了使用形式化方法和组件库来支持基于组件规范的软件重用和软件构建。所有软件重用的形式化方法的一个难点是形式化索引的创建。我们已经开发了一种逆向工程的方法，该方法基于使用形式化方法来派生现有程序的形式化规范。在本文中，我们提出了一种结合软件逆向工程和软件重用的方法，以支持为软件重用的目的填充规范库。此外，我们还讨论了我们对使用工具来支持填充和使用规范库来构建软件应用程序的整个过程的初步调查的结果。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)

自引率

0.00%

发文量