%0 Conference Paper
%B 1st International Workshop on Formal Approaches to Component Software - FACS
%D 2003
%T On the Specification of a Component Repository
%A Nuno Rodrigues
%A Luis Soares Barbosa
%E Dang Van Hung
%E Zhiming Liu
%C Hanoi, Vietnam
%I UNU-IIST
%P 47–62
%X <p>The lack of a commonly accepted denition of a software component, the proliferation of competing `standards' and component frameworks, is here to stay, raising the fundamental question in component based development of how to cope in practice with heterogeneity. This paper reports on the design of a Component Repository aimed to give at least a partial answer to the above question. The repository was fully specied in Vdm and a working prototype is currently being used in an industrial environment.</p>
%8 October
%> https://haslab.uminho.pt/sites/default/files/lsb/files/rb03.pdf