Component reuse through reverse engineering and semantic interface analysis

Software reuse covers the whole process of identification, representation, retrieval, adaptation and integration of reusable software components. The paper discusses the Module Integration and Adaptation Tool for Ada Components (MIATAC) approach. Building a tool to identify reusable components and effectively generate formal specifications for reusable components will make the MIATAC a more effective approach to software reuse. The Maintainer´s Assistant (MA) is a reverse engineering tool using formal methods. The integration of these two tools, MA-MIATAC, will offer a new approach to components reuse