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 para comprobar la corrección sintáctica y semántica.
historial de versiones
- Versión OCLEditor%20-%20Alpha%20%282%29 publicado en 2004-01-06
Varias correcciones y actualizaciones - Versión OCLEditor - Alpha 2 publicado en 2004-01-06
Detalles del programa
- Categoría: Desarrollo > Otro
- Editor: ocleditor.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: 2
- Plataforma: windows