Main purpose of this project is to create an Eclipse editor for specifying OCL contracts. The OCL language is used to specify pre-, post-conditions and invariants. The project also contains a parser to check the syntactical and semantical correctness.
VERSION HISTORY
- Version OCLEditor%20-%20Alpha%20%282%29 posted on 2004-01-06
Several fixes and updates - Version OCLEditor - Alpha 2 posted on 2004-01-06
Program Details
- Category: Development > Other
- Publisher: ocleditor.sf.net
- License: Free
- Price: N/A
- Version: 2
- Platform: windows