Programmi di ocleditor.sf.net

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