2018年1月2日 / 最終更新日時 : 2018年1月2日

磯部 祥尚, 櫻庭 健年, 田口 研治, 田原 康之, 粂野 文洋, 田中 譲 (監修): ソフトウェア科学基礎—最先端のソフトウェア開発に求められる数理的基礎，近代科学社 (2008.09)

2018年1月1日 / 最終更新日時 : 2018年1月1日

吉岡信和, 田辺良則, 田原康之, 長谷川哲夫, 磯部祥尚: モデル検査による設計検証, 日本ソフトウェア科学会コンピュータソフトウェア, Vol.31, No.4, pp.4_40-4_65 (2014.12)

2018年5月10日 / 最終更新日時 : 2018年5月10日

Nguyen,T.M., Kawamura,T., Tahara,Y., Ohsuga,A.，”Self-Supervised Capturing of Users Activities from Weblogs”，International Journal of Intelligent Information and Database Systems，vol.6，No.1 (2012.1), pp.61-76.

2017年12月31日 / 最終更新日時 : 2017年12月31日

中谷多哉子，羽生田栄一，黒川利明，直田繁樹，大須賀昭彦，児玉公信，増村均，中村正規，田中立二: オブジェクト指向、エージェント技術の動向，電気学会論文誌C，Vol.123, No.4 (2003), pp.640-648.