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

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


著書
[1] Hajime Fujita, Toshihiro Hanawa, Satoshi Kagami, Kenji Kono, Kimio Kuramitsu, Toshiyuki Maeda, Shigeru Matsubara, Yutaka Matsuno, Tatsuo Nakajima, Toshinori Takai, Hiroki Takamura, Makoto Takeyama, Mario Tokoro, Hiroshi Yamada, Shuichiro Yamamoto, Makoto Yashiro, and Yasuhiko Yokote, Open Systems Dependability – Dependability Engineering for Ever-Changing Systems, CRC Press, 2012.
講演
[1] 高井利憲, "アシュアランスケース入門と最近の動向," ソフトウェアエンジニアリングシンポジウム2013(SES2013), 2013年9月.
論文誌
[1] 柿本和希, 川口真司, 高井利憲, 石濱直樹, 飯田元, 片平真史, "Goal Structuring Notationを用いた汎用的な安全要求の明確化と評価," SEC journal, number 47, pages 16-23 2016年12月.
国際会議
[1] Toshinori Takai and Hiroyuki Kido, "A Supplemental Notation of Gsn Aiming for Dealing with Changes of Assurance Cases," In The Fourth Workshop on Open Systems Dependability (WOSD2014), November 2014.
[2] Kenji Taguchi, Souma Daisuke, Hideaki Nishihara, and Toshinori Takai, "Linking Traceability with Gsn," In 2014 Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2014), November 2014.
[3] Khana Chindamaikul, Toshinori Takai, and Hajimu Iida, "Retrieving Information from a Document Repository for Constructing Assurance Cases," In 2014 Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2014), November 2014.
[4] Hiroyuki Kido, Yukio Ohsawa, Makoto Hirai, Yoshifumi Yuasa, and Toshinori Takai, "Towards Argumentation Schemes for Open Systems Dependability," In 12th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 2014), August 2014.
国内会議(査読付き)
[1] 柿本 和希, 川口 真司, 高井 利憲, 石濱 直樹, 飯田 元, 片平 真史, "CBCS 安全要求の適用性向上に向けた可視化の取り組み," クリティカルソフトウェアワークショップ, 2016年.
研究会・全国大会等
[1] Toshinori Takai and Hiroyuki Kido, "A Framework for Defining Degree of Confidence for Assurance Cases," In SICE Annual Conference 2014, September 2014.
[2] Mehnaz Seraj, Babatunde Ojetunde, 高井利憲, "Mobile Payment System を対象としたD-Case記述演習," 第5回D-Case研究会, 2014年3月.
[3] Khana Chindamaikul, Uematsu Yusuke, Jun Komeda, and Toshinori Takai, "System Assurance for Smart House," 第4回D-Case実証評価研究会, October 2013.
[4] Khana Chindamaikul, Toshinori Takai, and Hajimu Iida, "Constructing Assurance Case Using Information from an Issue Tracking System," IPSJ/SIGSE Software Engineering Symposium, poster session, September 2013.
[5] 高井利憲, "レビュー記録を利用したアシュアランスケースの記述について," 第10回 ディペンダブルシステムワークショップ (DSW 2012), 2012年12月.
[6] 高井 利憲, 松野 裕, "アシュアランスケース教育のための記述演習とその評価法," , 2012年12月.
テクニカルレポート
[1] 高井利憲, "構成管理ツールおよびその運用手順に関するリスク分析とアシュアランスケースの記述事例," number TR201201, 奈良先端科学技術大学院大学, 2012年6月.
受賞
[1] 柿本和希, 川口真司, 高井利憲, 石濱直樹, 飯田元, 片平真史, "「SEC journal」論文賞 所長賞," SEC journal, 2016年11月.
[2] 柿本 和希, 川口 真司, 高井 利憲, 石濱 直樹, 飯田 元, 片平 真史, "第13回クリティカルソフトウェアワークショップ 最優秀賞," 第13回クリティカルソフトウェアワークショップ, 2016年.