Contextual Matching of Software Library Components

Many automated programming environments construct software by integrating predefined components from a software library. A fundamental challenge in this process is to match the programmer’s specified requirements against the stated capabilities of the components. We explain how the chances of successfully achieving a match can be increased by taking the program context surrounding each requirement into consideration. Formal rules, based on program refinement theory, are defined for context-based matching. The rules allow properties that can be proven to hold at a particular point in the program to justify matching with components that operate correctly only in such a context.

• Type: Conference
• Year: 2002
• Where: APSEC
• Authors: Colin J. Fidge
• Keywords: APSEC 2002, Environments Construct Software, Programmer’s Specified Requirements, Rules Allow Properties, Software Engineering