2017年10月3日 / 最終更新日時 : 2017年10月3日

田原 康之, 大須賀 昭彦, 本位田 真一: 書換え論理に基づくアスペクト指向ソフトウェアの形式モデル, ウインターワークショップ 2010 ・イン・倉敷, 倉敷市芸文館, pp.127-128,(2010.1).

2017年10月2日 / 最終更新日時 : 2017年10月2日

玉田和洋, 中川博之, 田原康之, 大須賀昭彦：モデル検査によるAjax アプリケーション検証, ウィンターワークショップ・イン・倉敷論文集 2010, Vol.2010, No.3, pp.139-140 (2010.1)．

2017年10月1日 / 最終更新日時 : 2017年10月1日

玉田和洋, 中川博之, 中山健, 田原康之, 大須賀昭彦: モデル検査によるAjaxアプリケーション検証のためのモデルの提案, 第16回 ソフトウェア工学の基礎ワークショップ(FOSE2009), ホテルおかだ (2009.11). pp333-334.