Programas por ocleditor.sf.net

O principal objetivo deste projeto é criar um editor do Eclipse para especificar contratos de OCL. A linguagem OCL é usada para especificar pré-, pós-condições e invariantes. O projeto também contém um analisador para verific