Implementation of a Prototype Bi-directional Translation Tool between OCL and JML
International Journal of Informatics Society (IJIS), vol.5 (2013)
タグ: bi-directional, implementation, jml, ocl, prototype, tool, translation
@article{KentaroHanada2013,
author = {Kentaro Hanada and Hiroaki Shimba and Kozo Okano and Shinji Kusumoto},
title = {Implementation of a Prototype Bi-directional Translation Tool between OCL and JML},
journal = {International Journal of Informatics Society (IJIS)},
volume = {5},
year = {2013}
}