iOCL: An Interactive Tool for Specifying, Validating and Evaluating OCL Constraints.

Hammad Muhammad, Tao Yue, Shaukat Ali, Shuai Wang

Browse the full MODELS paper archive.