高井利憲

Takai Toshinori

所属機関・部署：

研究分野 (1件)：情報学基礎論

研究キーワード (5件)：項書換系 , クリーニ代数 , アシュアランスケース , システムアシュアランス , 議論学

論文 (25件)：

講演・口頭発表等 (13件)：

アシュアランスケースの主張の変換を含めた議論パターンの提案 (信頼性)
(電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2018)
消費者向け製品のための効果的なリスク共有手法の提案 (知能ソフトウェア工学)
(電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2016)
アシュアランスケース構築のための議論合成法 (知能ソフトウェア工学)
(電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2015)
ペルソナに基づく撤回可能付きGSN構築手法の提案 : システムアシュアランス導入に関するリスクケースを題材として (知能ソフトウェア工学)
(電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2015)
システムアシュアランス演習の実践報告 (知能ソフトウェア工学)
(電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2015)

学歴 (4件)：

所属学会 (3件)：

日本ソフトウェア科学会 , 電子情報通信学会 , 情報処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

高井 利憲