基本情報

所属
国立情報学研究所 (名誉教授)
学位
学術博士(2000年11月 東京大学)

J-GLOBAL ID
200901030798025427

外部リンク

ソフトウェア・システムのディペンダビリティを向上する技術に関心があります.最近話題のCPS/IoT/SoSといった新しいソフトウェアでは,正しさの基準を明確に書き表せないことが多いです.ソフトウェア工学の従来の方法でディペンダビリティを論じることが困難になったといえるでしょう.「システムの方法」との融合を模索するのかな,と考えているところです.

所属学協会

  1

MISC

  9

書籍等出版物

  17

講演・口頭発表等

  75

主要な論文

  113

社会貢献活動

  5

メディア報道

  2