論文誌

[1] Kentaro Hanada, Hiroaki Shimba, Kozo Okano, and Shinji Kusumoto, "Implementation of a Prototype Bi-Directional Translation Tool between Ocl and Jml," International Journal of Informatics Society (IJIS), volume 5, 2013.

国際会議

[1] Hiroaki Shimba, Kentaro Hanada, Kozo Okano, and Shinji Kusumoto, "Bidirectional Translation between Ocl and Jml for Round-Trip Engineering," In 5th International Workshop on Empirical Software Engineering in Practice (IWESEP2013), pages 49-54, December 2013. [2144b049.pdf]

[2] Kentaro Hanada, Hiroaki Shimba, Kozo Okano, and Shinji Kusumoto , "A Bi-Directional Translation Tool between Ocl and Jml Considering Reverse Translation," In The 4th International Workshop on Empirical Software Engineering in Practice (IWESEP2012), poster presentation, October 2012.

[3] Kozo Okano, Toshifusa Sekizawa, Hiroaki Shimba, Hideki Kawai, Kentaro Hanada, Yukihiro Sasaki, and Shinji Kusumoto, "Verification of Safety Property of Line Tracer Program Using Timed Automaton Model," International Workshop on Informatics 2012, pages 136-142, September 2012. [iwin2012.pdf]

国内会議(査読付き)

[1] 榛葉浩章, 岡野浩三, 楠本真二, "制約記述言語OCLとJMLの双方向変換手法の提案 ," ソフトウェア工学の基礎XX(日本ソフトウェア科学会FOSE 2013), 2013年11月. [FOSE2013Poster.pptx]

研究会・全国大会等

[1] 榛葉 浩章, 尾ノ上 博樹, 岡野 浩三, 楠本真二, "JavaにおけるequalsメソッドとhashCodeメソッドの整合性の検査手法の提案," 電子情報通信学会技術研究報告, volume 113, number 489, pages 19-24, 2014年3月. [document.pdf]

[2] 榛葉浩章, 花田健太郎, 岡野浩三, 楠本真二, "制約記述言語OCLとJMLのモデル駆動開発技法に基づいた双方向の変換手法の提案," 電子情報通信学会技術研究報告, volume 111, number 481, 2012年3月. [document.pdf]

学位論文

[1] 榛葉　浩章, "JavaにおけるequalsメソッドとhashCodeメソッドの整合性の検査," 修士学位論文, 大阪大学, 2014年. [main.pdf]

[2] 榛葉浩章, "Java Modeling LanguageからObject Constraint Languageへのモデル変換技法に基づいた変換手法の提案," , 2012年2月. [graduation-thesis.pdf]