業績一覧

Bidirectional Translation between OCL and JML for Round-trip Engineering

, , ,

5th International Workshop on Empirical Software Engineering in Practice (IWESEP2013), pp.49-54 (2013)

タグ: bidirectional, engineering, jml, ocl, round-trip, translation

@inproceedings{HiroakiShimba2013,
  author = {Hiroaki Shimba and Kentaro Hanada and Kozo Okano and Shinji Kusumoto},
  title = {Bidirectional Translation between OCL and JML for Round-trip Engineering},
  booktitle = {5th International Workshop on Empirical Software Engineering in Practice (IWESEP2013)},
  pages = {49--54},
  year = {2013},
  month = {dec}
}