Storing and retrieving software components: a refinement based system | IEEE Journals & Magazine | IEEE Xplore