A Bi-directional Translation Tool between OCL and JML considering Reverse Translation
The 4th International Workshop on Empirical Software Engineering in Practice (IWESEP2012) (2012)
@inproceedings{KentaroHanada2012b,
author = {Kentaro Hanada and Hiroaki Shimba and Kozo Okano and Shinji Kusumoto},
title = {A Bi-directional Translation Tool between OCL and JML considering Reverse Translation},
booktitle = {The 4th International Workshop on Empirical Software Engineering in Practice (IWESEP2012)},
year = {2012},
month = {oct},
note = {poster presentation}
}