Kentaro Hanada
Hiroaki Shimba
Kentaro Hanada
Kozo Okano
Shinji Kusumoto
Bidirectional Translation between OCL and JML for Round-Trip Engineering.
49-54
2013
APSEC (2)
https://doi.org/10.1109/APSEC.2013.111
https://doi.ieeecomputersociety.org/10.1109/APSEC.2013.111
conf/apsec/2013
db/conf/apsec/apsec2013.html#ShimbaHOK13
Kentaro Hanada
Kozo Okano
Shinji Kusumoto
Kiyoyuki Miyazawa
Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation.
389-394
2012
ICEIS (2)
conf/iceis/2012-2
db/conf/iceis/iceis2012-2.html#HanadaOKM12
Shinji Kusumoto
Kiyoyuki Miyazawa
Kozo Okano
Hiroaki Shimba