2018年4月26日 / 最終更新日時 : 2018年4月26日

Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden: Evolution of a course on model checking for practical applications, ACM SIGCSE Bulletin, Volume 41, Issue 2, pp.38-44 (2009.6)

2018年4月25日 / 最終更新日時 : 2019年4月16日 ohsuga-editor

鄭顕志，中川博之，川俣洋次郎，吉岡信和，深澤良彰，本位田真一: ユビキタスコンピューティングにおけるアプリケーション開発手法に関する研究動向，日本ソフトウェア科学会コンピュータソフトウェア，Vol.25，No.4，pp.121-132 (2008.10).

2017年9月13日 / 最終更新日時 : 2017年9月13日

寺崎達也，中井戸健至，川村隆浩，大須賀昭彦，前川守: ユビキタス環境とWebサービスを仲介するインテリジェントエージェントの開発，第2回 合同エージェントワークショップ＆・シンポジウム2003(JAWS2003)，情報処理学会 知能と複雑系研究会 日本ソフトウェア科学会 マルチエージェントと協調計算研究会 & 電子情報通信学会 人工知能と知識処理研究会 人工知能学会 知識ベースシステム研究会 共催，ウェスティンホテル淡路リゾート＆カンファレンス (2003.11).

2018年4月24日 / 最終更新日時 : 2019年4月16日 ohsuga-editor

中川博之, 田口研治, 本位田真一：モデル変換に基づく要求記述を利用した形式仕様の構築,情報処理学会論文誌，Vol.49，No.7，pp.2304-2318 (2008.7).