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)