Vol-1724⫷ Vol-1725 ⫸Vol-1726
urn:nbn:de:0074-1725-0


Vol-1725/demo3⫷Vol-1725/demo4⫸Vol-1725/demo5
Hammad MuhammadTao Yue 0002Shaukat Ali 0001Shuai Wang 0001

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