OCL development environment for Eclipse 2

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 3.8/5 - ‎4 ‎Voti

Lo scopo principale di questo progetto è quello di creare un editor Eclipse per specificare i contratti OCL. Il linguaggio OCL viene utilizzato per specificare pre, post-condizioni e invarianti. Il progetto contiene anche un parser per verificare la correttezza sintattica e semantica.

cronologia delle versioni

  • Versione OCLEditor%20-%20Alpha%20%282%29 pubblicato il 2004-01-06
    Diverse correzioni e aggiornamenti
  • Versione OCLEditor - Alpha 2 pubblicato il 2004-01-06

Dettagli del programma