iOCL: An Interactive Tool for Specifying, Validating and Evaluating OCL Constraints. - Hammad Muhammad; Tao Yue 002; Shaukat Ali 001; Shuai Wang 001 (D&P@MoDELS, 2016)

IOCL: An interactive tool for specifying, validating and evaluating OCL constraints. - Hammad Muhammad; Tao Yue 002; Shuai Wang 001; Shaukat Ali 001; Jan Nygård (Sci. Comput. Program., 2017)