講演名 2023-01-20
機能共鳴分析のための保証ケースの試み
山本 修一郎(名工科),
PDFダウンロードページ PDFダウンロードページへ
抄録(和)
抄録(英)
キーワード(和)
キーワード(英)
資料番号 KBSE2022-50
発行日 2023-01-12 (KBSE)

研究会情報
研究会 KBSE
開催期間 2023/1/19(から2日開催)
開催地(和) ITビジネスプラザ武蔵(金沢)
開催地(英)
テーマ(和) 一般,学生
テーマ(英)
委員長氏名(和) 猿渡 卓也(NTTデータ)
委員長氏名(英) Takuya Saruwatari(NTT Data)
副委員長氏名(和) 田辺 良則(鶴見大)
副委員長氏名(英) Yoshinori Tanabe(Tsurumi Univ.)
幹事氏名(和) 小島 英春(阪工大) / 柏 祐太郎(奈良先端大)
幹事氏名(英) Hideharu Kojima(Osaka Inst. of Tech.) / Yutaro Kashiwa(NAIST)
幹事補佐氏名(和) 青木 善貴(BIPROGY) / 堀田 大貴(茨城大)
幹事補佐氏名(英) Yoshitaka Aoki(BIPROGY) / Hiroki Horita(Ibaraki Univ.)

講演論文情報詳細
申込み研究会 Technical Committee on Knowledge-Based Software Engineering
本文の言語 JPN
タイトル(和) 機能共鳴分析のための保証ケースの試み
サブタイトル(和)
タイトル(英) An Assurance Case for Analyzing Functional Resonance
サブタイトル(和)
キーワード(1)(和/英)
第 1 著者 氏名(和/英) 山本 修一郎 / Shuichiro Yamamoto
第 1 著者 所属(和/英) 名古屋国際工科専門職大学(略称:名工科)
IPUT in Nagoya(略称:IPUT in Nagoya)
発表年月日 2023-01-20
資料番号 KBSE2022-50
巻番号(vol) vol.122
号番号(no) KBSE-345
ページ範囲 pp.40-45(KBSE),
ページ数 6
発行日 2023-01-12 (KBSE)