中島 震
Shin Nakajima
更新日: 02/07
基本情報
- 所属
- 国立情報学研究所 (名誉教授)
- 学位
-
博士(学術)(2000年11月 東京大学)
- ORCID ID
- https://orcid.org/0000-0002-3827-3165
- researchmap会員ID
- 5000034850
- 外部リンク
ソフトウェア・システムのディペンダビリティを向上する技術に関心があります.最近話題のCPS/IoT/SoSといった新しいソフトウェアでは,正しさの基準を明確に書き表せないことが多いです.ソフトウェア工学の従来の方法でディペンダビリティを論じることが困難になったといえるでしょう.「システムの方法」との融合を模索するのかな,と考えているところです.
経歴
18-
2023年6月 - 現在
-
2021年4月 - 現在
-
2021年4月 - 現在
-
2019年11月 - 現在
-
2018年4月 - 現在
-
2019年4月 - 2021年3月
-
2017年4月 - 2021年3月
-
2005年4月 - 2021年3月
-
2018年4月 - 2019年3月
-
2006年4月 - 2017年3月
-
2012年4月 - 2016年3月
-
2004年12月 - 2007年3月
-
2004年4月 - 2007年3月
-
2004年4月 - 2006年3月
-
2003年10月 - 2004年11月
-
2002年4月 - 2004年3月
-
2001年12月 - 2003年9月
-
1981年4月 - 2002年3月
所属学協会
1受賞
5-
2020年9月
-
2017年11月
-
2015年10月
-
2004年6月
-
2001年9月
主要なMISC
81主要な書籍等出版物
19-
丸善出版 2023年7月 (ISBN: 9784621308134)
-
丸善出版 2022年12月 (ISBN: 9784621307809)
-
丸善出版 2020年11月 (ISBN: 9784621305737)
-
放送大学教育振興会 2019年3月 (ISBN: 9784595141195)
主要な講演・口頭発表等
79-
JAISTトランスフォーマティブ知識経営オープンセミナー 2023年10月8日 招待有り
-
デジタル社会における新たなトラスト形成〜総合知による取り組み〜 2023年1月10日 招待有り
-
電子情報通信学会ソフトウェア研究会・ディペンダブルコンピューティング研究会 2022年10月25日 招待有り
-
The 11th international workshop on SOFL + MSVL for Reliability and Security 2022年10月24日 招待有り
担当経験のある科目(授業)
7主要な論文
121-
306-313 2021年12月 査読有り筆頭著者
-
Proc. 10th SOFL+MSVL 175-192 2021年3月 査読有り筆頭著者
-
IEEE Transactions on Software Engineering 48(2) 691-712 2020年6月 査読有り
-
Proc. IFIP-ICTSS 2019 56-64 2019年10月 査読有り
-
コンピュータ・ソフトウェア 35(2) 26-32 2018年5月 査読有り
-
研究/技術/計画(研究・イノベーション学会誌) 32(3) 235-250 2017年11月 招待有り
-
FM 2015: FORMAL METHODS 9109 378-394 2015年 査読有り
-
Progress in Informatics (2) 57-76 2005年11月 査読有り
-
コンピュータ・ソフトウェア 19(2) 82-98 2002年3月 査読有り
-
コンピュータ・ソフトウェア 18(5) 17-46 2001年9月15日
-
Proc. SPIN 2001 163-182 2001年5月1日 査読有り
-
FM'99-Formal Methods, VOL II 1709 1664-1683 1999年 査読有り
-
Proceedings of the 1997 International Conference on Software Engineering (ICSE) 34-44 1997年 査読有り筆頭著者
委員歴
9-
2018年10月 - 現在
-
2011年6月 - 現在
-
2004年4月 - 現在
-
2014年6月 - 2018年5月
-
2012年4月 - 2018年3月
-
2012年6月 - 2014年5月
-
2013年1月 - 2013年2月
-
2010年6月 - 2012年5月
-
1999年6月 - 2003年5月
主要な社会貢献活動
5