Programas por ocleditor.sf.net

El propósito principal de este proyecto es crear un editor Eclipse para especificar contratos OCL. El lenguaje OCL se utiliza para especificar pre- , post-condiciones e invariables. El proyecto también contiene un analizador