Search: 簡易 | 詳細 || Language: 英語 | 日本語 || Login: ログイン | Help: ヘルプ |

11 件の該当がありました. : このページのURL : HTML


講演
[1] 高井利憲, "アシュアランスケース入門と最近の動向," ソフトウェアエンジニアリングシンポジウム2013(SES2013), 2013年9月.
論文誌
[1] 柿本和希, 川口真司, 高井利憲, 石濱直樹, 飯田元, 片平真史, "Goal Structuring Notationを用いた汎用的な安全要求の明確化と評価," SEC journal, number 47, pages 16-23 2016年12月.
国内会議(査読付き)
[1] 柿本 和希, 川口 真司, 高井 利憲, 石濱 直樹, 飯田 元, 片平 真史, "CBCS 安全要求の適用性向上に向けた可視化の取り組み," クリティカルソフトウェアワークショップ, 2016年.
研究会・全国大会等
[1] Mehnaz Seraj, Babatunde Ojetunde, 高井利憲, "Mobile Payment System を対象としたD-Case記述演習," 第5回D-Case研究会, 2014年3月.
[2] 鷲尾 直大, 高井 利憲, "車両間アドホックネットワークにおけるシステムアシュアランスの検討 ," 第4回D-Case実証評価研究会, 2013年10月.
[3] 野村亮太, 南秀和, 高井利憲, "LEGO Mindstorms を用いたシーソー走行に関するアシュランスケースの検討 ," 第4回D-Case実証評価研究会, 2013年10月.
[4] 高井利憲, "レビュー記録を利用したアシュアランスケースの記述について," 第10回 ディペンダブルシステムワークショップ (DSW 2012), 2012年12月.
[5] 高井 利憲, 松野 裕, "アシュアランスケース教育のための記述演習とその評価法," , 2012年12月.
テクニカルレポート
[1] 高井利憲, "構成管理ツールおよびその運用手順に関するリスク分析とアシュアランスケースの記述事例," number TR201201, 奈良先端科学技術大学院大学, 2012年6月.
受賞
[1] 柿本和希, 川口真司, 高井利憲, 石濱直樹, 飯田元, 片平真史, "「SEC journal」論文賞 所長賞," SEC journal, 2016年11月.
[2] 柿本 和希, 川口 真司, 高井 利憲, 石濱 直樹, 飯田 元, 片平 真史, "第13回クリティカルソフトウェアワークショップ 最優秀賞," 第13回クリティカルソフトウェアワークショップ, 2016年.