IOCL: An interactive tool for specifying, validating and evaluating OCL constraints

Hammad Muhammad, Tao Yue 0002, Shuai Wang, Shaukat Ali 0001, Jan Nygård. IOCL: An interactive tool for specifying, validating and evaluating OCL constraints. Science of Computer Programming, 149:3-8, 2017. [doi]

Abstract

Abstract is missing.