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.

Project Activity

See All Activity >

Categories

Integrated Development Environments (IDE), Code Generators

License

Common Public License 1.0

Follow OCL development environment for Eclipse

OCL development environment for Eclipse Web Site

Other Useful Business Software
Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure Icon
Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure

Native application identity and user-based security for your Azure cloud

Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
Get a free trial
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of OCL development environment for Eclipse!

Additional Project Details

Languages

English, German

Intended Audience

Developers

Programming Language

Java

Related Categories

Java Integrated Development Environments (IDE), Java Code Generators

Registered

2003-12-21
Report inappropriate content