2.1 Problem

In this paper, I will address the problem of making formal software composition techniques usable in contexts other than that of a mature component-based software industry. This proposal should not be construed as competing with the development of such an industry, rather as a complementary approach to making formal methods available, thus paving its way. The proposal will make some of the advantages of formal methods more widely available, even in the absence of such an industry.