On the Relationship between the Object Constraint Language (OCL) and the Java Modeling Language (JML).

Ali Hamie

Browse the full PDCAT paper archive.