Towards Reliable Component Software: Light-weight Formalism


The component software technology is a promising trend for rapid software development. However, one of the problems of software engineering is still inherited, which is the high cost of program verification. Moreover, not just the component, but also the composition of components is a subject for verification. In the direction of component software free… (More)


Cite this paper

@inproceedings{Azurat2005TowardsRC, title={Towards Reliable Component Software: Light-weight Formalism}, author={Ade Azurat}, year={2005} }