Ali Hamie. On the Relationship between the Object Constraint Language (OCL) and the Java Modeling Language (JML). In Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2006), 4-7 December 2006, Taipei, Taiwan. pages 411-414, IEEE Computer Society, 2006. [doi]
Abstract is missing.