OCL development environment for Eclipse 2

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 3.8/5 - ‎4 ‎votos

Sobre OCL development environment for Eclipse

O principal objetivo deste projeto é criar um editor eclipse para especificar contratos OCL. A língua OCL é usada para especificar pré-condições pós-condições e invariantes. O projeto também contém um parser para verificar a correção sintática e semantical.