基本情報

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

ORCID ID
 https://orcid.org/0000-0002-3827-3165
researchmap会員ID
5000034850

外部リンク

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

所属学協会

  1

MISC

  12

書籍等出版物

  17

講演・口頭発表等

  75

主要な論文

  116

社会貢献活動

  5

メディア報道

  2