論文誌

[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] 花田健太郎, "平成24年度 大阪大学情報科学研究科賞," , 2013年3月.

[2] Kentaro Hanada, "Iwin2012 Student Award," , 2012.

国際会議

[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] Kentaro Hanada, Hiroaki Shinba, Kozo Okano, and Shinji Kusumoto, "Implementation of a Prototype Bi-Directinal Translation Tool between Ocl and Jml," International Workshop on Informatics 2012, pages 121-127, September 2012. [iwin2012.pdf]

[4] 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]

[5] Kentaro Hanada, Kozo Okano, Shinji Kusumoto, and Kiyoyuki Miyazawa, "Practical Application of a Translation Tool from Uml/Ocl to Java Skeleton with Jml Annotation," In 14th International Conference on Enterprise Information Systems, pages 389-394, June 2012. [document.pdf]

研究会・全国大会等

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

[2] 花田 健太郎, 岡野 浩三, 楠本 真二, "OCLからJMLへのDSLを用いた変換ツールの試作型の実装," 情報処理学会シンポジウムシリーズ ウィンターワークショップ2012・イン・琵琶湖, volume 2012, number 1, 2012年1月. [f05.pdf]

[3] 宮澤清介，花田健太郎，岡野浩三, 楠本真二, "OCL からJML への変換ツールに おける対応クラスの拡張と教務システムに対する適用実験," , 2011年3月. [desc]

学位論文

[1] 花田 健太郎, "ラウンドトリップエンジニアリングのためのソフトウェア制約記述言語双方向変換," 修士学位論文, 大阪大学, 2013年. [desc]

[2] 花田 健太郎, "OCLからJMLへの変換ツールの Eclipse プラグイン化と教務システムを対象とする適用実験," , 2011年2月. [desc]