Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation. - Kentaro Hanada; Kozo Okano; Shinji Kusumoto; Kiyoyuki Miyazawa (ICEIS (2), 2012)

Bidirectional Translation between OCL and JML for Round-Trip Engineering. - Hiroaki Shimba; Kentaro Hanada; Kozo Okano; Shinji Kusumoto (APSEC (2), 2013)