Skip to content
Skip to main navigation
Skip to 1st column
Skip to 2nd column
.
Home
OCL Software
Activities
Teaching
Resources
Contact
Impressum
The KeY Tool
Wednesday, 19 May 2010 16:34
Reiner Hähnle
Software verification tool for Java as target language. Contract-based specification in OCL supported.
OCL Tools
Others
UML tools with OCL support
Latest Entries
Object Modeling with the OCL
Aachen OCL Meeting
OMG Formally Released Versions of OCL
LinkedIn OCL group
News about Dresden OCL