On the Relationship between the Object Constraint Language (OCL) and the Java Modeling Language (JML) | IEEE Conference Publication | IEEE Xplore