Specification matching is a way to compare two software components, based on
descriptions of the component's behaviors. In the context of software reuse and library …

Signature matching is a method for organizing, navigating through, and retrieving from
software libraries. We consider two kinds of software library components—functions and …

Software architectures have the potential to substantially improve the development and
evolution of large, complex, multi-lingual, multi-platform, long-running systems. However, in …

We apply mathematical concept analysis to the problem of reengineering configurations.
Concept analysis will reconstruct a taxonomy of concepts from a relation between objects …

Abstract Specification matching is a way to compare two software components. In the cent
ext of software reuse and library retrieval, it can help determine whether one component can …

Reuse libraries are organizations of personnel, procedures, tools, and software components
directed toward facilitating software component reuse to meet specific cost-effectiveness and …

This paper explores the use of specification matching to discover and select component
adaptation strategies. This is done within a formal framework that integrates specification …

Large libraries of software components hold great potential as a resource for software
engineers, but to utilize them fully, we need to be able:(1) to locate components in the …

Software architectures shift the focus of developers from lines-of-code to coarser-grained
architectural elements and their overall interconnection structure. Architectures have the …

Experience shows that it is not economically feasible to formally specify all parts of a system
in an industrial application. Either one already has a number of existing components which …