Med hjälp av formella specifikationer för att representera programvarukomponenter underlättar fastställandet av återanvändningsbarhet eftersom de mer exakt karakteriserar programvarans funktionalitet, och den väldefinierade syntaxen gör bearbetningen möjlig att automatisera. I detta dokument presenteras en metod som bygger på formella metoder för sökning, hämtning och modifikation av återanvändbara programvarukomponenter. Från en hierarki av återanvändbara programvarukomponenter i två nivåer hämtas de befintliga komponenter som är jämförbara med frågespecificationen från hierarkin. Den specifika katjonen för en analog återvunnen komponent jämförs med frågespecifik katjonen för att avgöra vilka ändringar som måste tillämpas på motsvarande programkomponent för att den ska uppfylla frågespecifik katjonen. I detta dokument beskrivs också ett tillvägagångssätt för att underlätta användningen av analoga komponenter och ger ett exempel på hur det används.
I REF föreslås en hierarki på två nivåer av databasen baserad på formella specifikationer med hjälp av OSPL.
Reusing Analogous Components
{'venue': 'IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING', 'journal': None, 'mag_field_of_study': ['Computer Science']}