論文誌
[1] 森恵弥佳, 岡野浩三, 楠本真二, "Alloy Analyzerを用いた表明に関する欠陥の検出手法 -JMLによる表明記述に対して-," コンピュータソフトウェア, volume 30, number 3, pages 187-193 2013年8月.
[2] 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.
[3] 尾鷲方志, 岡野浩三, 楠本真二, "メソッドの自動生成を用いたOCLのJMLへの変換," コンピュータソフトウェア, volume 27, number 2, 2010年5月.
[4] 尾鷲方志, 岡野浩三, 楠本真二, "在庫管理プログラムに対するJML記述とESC/Java2を用いた検証の事例報告," 電子情報通信学会論文誌 VOL.J91-D NO.11, volume 91-D, number 11, pages 2719-2720 2008年11月.
国際会議
[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.
[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.
[4] 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.
国内会議(査読付き)
[1] 小林和貴, 宮本敬三, 岡野浩三, 楠本真二, "アサーション動的生成を目的としたテストケース制約のESC/Java2を利用した導出," 高田 眞吾, 福田 浩章(編), ソフトウェア工学の基礎XVII, number 36, pages 35-44 2010年11月.
研究会・全国大会等
[1] 花田 健太郎, 岡野 浩三, 楠本 真二, "OCLからJMLへのDSLを用いた変換ツールの試作型の実装," 情報処理学会シンポジウムシリーズ ウィンターワークショップ2012・イン・琵琶湖, volume 2012, number 1, 2012年1月.
[2] 尾鷲方志, 岡野浩三, 楠本真二, "JMLを用いた在庫管理プログラムの設計とESC/Java2 を用いた検証," 電子情報通信学会技術報告, volume 107, number 176, pages 37-42 2007年8月.
学位論文
[1] 花田 健太郎, "OCLからJMLへの変換ツールの Eclipse プラグイン化と教務システムを対象とする適用実験," , 2011年2月.
[2] 宮澤清介, "OCLからJMLへの変換ツールの 対応クラスの拡張と実プロジェクトに対する適用," , 2011年2月.
[3] 武藤 祐子, "クラス間関係を利用した単体テストおよび静的検査の網羅率可視化ツールの試作と評価," , 2010年2月.
[4] , 仕様記述言語JMLとAlloy を用いた在庫管理プログラムの設計に対するモデル検査ツールによる検証事例, 2007.