The project aims to the development of tools to increase the usability of the iContract tool, which provides Design By Contract in Java