神奈川大学 プログラミング科学研究所

最新のお知らせ

  • 2019-10-26 木下佳樹所長 中国で招待講演 2019年10月26日(土)に中国・上海で開催された「全国可靠性与维修性标准化技术委员会 2019年工作会議标准審査会」(中国の標準化団体CEPREI主催)にて,木下佳樹所長がオープンシステムディペンダビリティについて講演を行いました。CEPREIのサイトに当日の様子が紹介されています。https://www.ceprei.com/contents/3/11719.html
    投稿: 2019/11/12 22:51、Shuji Kinoshita
  • 2019-10-21 日本ソフトウェア科学会大会 優秀発表賞 2019年8月に開催された,日本ソフトウェア科学会第36回大会における木下修司研究員の発表「平塚市地域防災計画の整合性検査方式の研究 - 自治体防災業務へのソフトウェアエンジニアリングの応用 -」が、優秀発表賞に選ばれました。神奈川大学プレスリリース
    投稿: 2019/11/12 22:46、Shuji Kinoshita
  • 2019-09-10 国際会議ASSURE2019 安全性に関する国際会議SAFECOMP2019の併設ワークショップASSURE2019(7th International Workshop on Assurance Cases for Software-intensive Systems)において,木下佳樹所長 及び 武山誠所員 及び 木下修司研究員が執筆に参加した論文「A modelling approach for system life cycles assurance」が発表されました。
    投稿: 2019/09/10 7:27、Shuji Kinoshita
  • 2019-07-18 (木) 日科技連主催第49回「信頼性・保全性シンポジウム」にて講演が行われました。特別企画セッション つながる時代の安全性木下佳樹:ディペンダビリティ標準の新しい動向〜新国際標準IEC 62853がもたらすもの (slides, resumé)
    投稿: 2019/07/18 22:18、木下佳樹
1 - 4 / 35 件の投稿を表示中 もっと見る »