講演名 | 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) |