著書
公開件数:4件
No. 著書種別 タイトル 著者 出版社 担当頁 出版日 ISBN URL
1 著書
マルチエージェントによる自律ソフトウェア設計・開発
大須賀 昭彦,田原 康之,中川 博之,川村 隆浩
コロナ社
22-62, 176-192
2017/07/21
978-4-339-02818-8
URL
2 著書
UPPAALによる性能モデル検証
大須賀 昭彦(監修)、長谷川 哲夫、田原 康之、磯部 祥尚
近代科学社
71-91
2012/09/28
978-4-7649-0431-6
URL
3 著書
SPIN による設計モデル検証
萩谷 昌巳(監修)、吉岡 信和、青木 利晃、田原 康之
近代科学社
165-186
2008/09/26
978-4-7649-0354-8
URL
4 著書
ソフトウェア科学基礎―最先端のソフトウェア開発に求められる数理的基礎
田中 譲(監修)、磯部 祥尚、粂野 文洋、櫻庭 健年、田口 研治、田原 康之
近代科学社
125-144, 267-296
2008/09/26
978-4-7649-0355-5
URL