On the Specification of a Component Repository

Citation:
Rodrigues N, Barbosa LS.  2003.  On the Specification of a Component Repository. 1st International Workshop on Formal Approaches to Component Software - FACS. :47–62.

Date Presented:

October

Abstract:

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.

Citation Key:

RB03
PreviewAttachmentSize
rb03.pdf619.18 KB