Skip to content
Skip to main navigation
Skip to 1st column
Skip to 2nd column
.
Home
OCL Software
Activities
Teaching
Resources
Contact
Impressum
OCL tools
that are designed as stand-alone tools, or can be integrated into other tools (such as UML tools)
Title Filter
Display #
5
10
15
20
25
30
50
100
All
#
Article Title
Author
Hits
1
SimpleOCL
Birgit Demuth
4346
2
Visual OCL
Birgit Demuth
3792
3
Oclarity- an OCL authoring environment
Birgit Demuth
5386
4
Eclipse MDT/OCL
Edward Willink
13320
5
MIP OCL2 Parser
Steve Wartik
8149
6
Nomos Software OCL Business Rules for XML
Tricia Balfe
12452
7
OCLE
Dan Chiorean
5816
8
EOS - A Java component for OCL evaluation
Manuel Clavel
6569
9
USE - A UML-based Specification Environment
Fabian Büttner
3839
10
UMLtoCSP - Verification of UML/OCL models with Constraint Programming
Jordi Cabot
3903
11
OCL editor with libraries
Joanna Chimiak-Opoka
6286
12
Tools presented at the OCL2008 Tool Demo
Pieter Van Gorp
3434
13
OCL Transformation tool
Jordi Cabot
5533
14
Incremental OCL
Jordi Cabot
7541
15
HOL-OCL - An Interactive Proof Environment for OCL
Achim D. Brucker
7007
16
OSLO - Open Source Library for OCL
Christian Hein
5113
17
Kent OCL Library
D.H.Akehurst
5252
18
Dresden OCL Toolkit
Birgit Demuth
17166
RSS
Latest Entries
Object Modeling with the OCL
Aachen OCL Meeting
OMG Formally Released Versions of OCL
LinkedIn OCL group
News about Dresden OCL