Formal semantics for the OCL (Object Constraint Language) – new attempt

The Dresden OCL debugger

Yesterday in the OCL Workshop I saw the presentation of the paper: Tool-Supported Step-By-Step Debugging for the Object Constraint Language, the first debugger (AFAIK) available for the OCL language. I really liked what I saw so I asked Birgit Demuth to share with all...

Pin It on Pinterest