9 Concluding remarks

For researchers that have committed themselves to a research topic for a long time, interdisciplinary exchange of background knowledge is a distressing activity that has to be honoured appropriately. The voluntary promotion of self-competing research should be highly appreciated and the self-critical attitude helped to become a virtue of every researcher in computer science.

The proposed idea of programming by development contracts is my own. If it has been documented before, the better.