- 国際会議
- [1] 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.
- [2] Kiyoyuki Miyazawa, Kozo Okano, and Shinji Kusumoto, "Lasp - a Learning Assistant System for Formal Proof," In International Workshop on INformatics, IWIN 2011, pages 158-165, September 2011.
- 国内会議(査読付き)
- [1] 宮澤清介, 岡野浩三, 楠本真二 , "フォーマルアプローチの基本技術習得のための学習支援システムの試作," ソフトウェアエンジニアリング最前線2009, pages 69-74, 2009年9月.
- 研究会・全国大会等
- [1] 宮澤清介,花田健太郎,岡野浩三, 楠本真二, "OCL からJML への変換ツールに おける対応クラスの拡張と教務システムに対する適用実験," , 2011年3月.
- [2] 宮澤清介, 岡野浩三, 楠本真二, "OCLのJMLへの変換ツールの実装と評価," number 170, 情報通信学会技術報告, 2010年11月.
- [3] 宮澤清介, 岡野浩三, 楠本真二, "数理論理学の形式証明に対する学習支援システムの試作と評価," 情報通信学会技術報告, 2010年9月.
- [4] 宮澤清介, 岡野浩三, 楠本真二, "OCLのJMLへの変換ツールの実装," number 110, 電子情報通信学会技術報告, 2010年3月.
- 学位論文
- [1] 宮澤清介, "OCLからJMLへの変換ツールの 対応クラスの拡張と実プロジェクトに対する適用," , 2011年2月.