Key points are not available for this paper at this time.
As bibliotecas de software são repositórios que contêm componentes de software; como tal, representam um recurso precioso para o engenheiro de software. À medida que as bibliotecas de software crescem em tamanho, torna-se cada vez mais difícil manter uma precisão e uma revocação adequadas com algoritmos de recuperação informais. Neste artigo, discutimos o design e a implementação de uma estrutura de armazenamento e recuperação para componentes de software que é baseada em especificações formais e na ordenação de refinamento entre especificações.
Mili et al. (Ter,) estudaram esta questão.