DesignByContract Proyecto en el que se ejemplifica el empleo del Diseño Por Contrato en Java utilizando para ello la biblioteca Cofoja.