国際会議

[1] Yuko Muto, Yukihiro Sasaki, Takafumi Ohta, Kozo Okano, Shinji Kusumoto, , and Kazuki Yoshioka, "Variable Coverage: a Metric to Evaluate the Exhaustiveness for Program Specifications Based on Dbc," International Workshop on Informatics 2013, pages 123-132, 2013. [main.pdf]

研究会・全国大会等

[1] 吉岡一樹, 岡野浩三, 楠本真二, "契約記述の変更傾向の開発履歴情報を用いた調査," 電子情報通信学会技術研究報告, volume 112, number 457, pages 121-126, 2013年3月.

[2] 吉岡一樹, 武藤祐子, 岡野浩三, 楠本真二, "JMLによって記述された契約に対する品質評価手法の在庫管理プログラムへの適用," 情報処理学会シンポジウムシリーズ ウィンターワークショップ2012・イン・琵琶湖, volume 2012, number 1, pages 109-110, 2012年1月.

学位論文

[1] 吉岡 一樹, "契約に基づく設計を用いたソフトウェアにおける開発履歴の実証的調査," 修士学位論文, 大阪大学, 2013年.