講演名 | 2021-01-23 システム仕様書の形式化による漏れ・誤りの発見および修正支援 若松 大雅(九工大), 青山 裕介(九工大), 久代 紀之(九工大), |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | |
抄録(英) | |
キーワード(和) | |
キーワード(英) | |
資料番号 | KBSE2020-30 |
発行日 | 2021-01-16 (KBSE) |
研究会情報 | |
研究会 | KBSE |
---|---|
開催期間 | 2021/1/23(から1日開催) |
開催地(和) | オンライン開催 |
開催地(英) | Online |
テーマ(和) | 一般,学生 |
テーマ(英) | General, Student |
委員長氏名(和) | 中川 博之(阪大) |
委員長氏名(英) | Hiroyuki Nakagawa(Osaka Univ.) |
副委員長氏名(和) | 猿渡 卓也(NTTデータ) |
副委員長氏名(英) | Takuya Saruwatari(NTT Data) |
幹事氏名(和) | 菊地 奈穂美(OKI) / 金子 朋子(国立情報学研究所) |
幹事氏名(英) | Nahomi Kikuchi(OKI) / Tomoko Kaneko(国立情報学研究所) |
幹事補佐氏名(和) | 小形 真平(信州大) / 槇原 絵里奈(同志社大) |
幹事補佐氏名(英) | Shinpei Ogata(Shinshu Univ.) / Erina Nakihara(Doshisha Univ,) |
講演論文情報詳細 | |
申込み研究会 | Technical Committee on Knowledge-Based Software Engineering |
---|---|
本文の言語 | JPN-ONLY |
タイトル(和) | システム仕様書の形式化による漏れ・誤りの発見および修正支援 |
サブタイトル(和) | |
タイトル(英) | |
サブタイトル(和) | |
キーワード(1)(和/英) | |
第 1 著者 氏名(和/英) | 若松 大雅 / Taiga Wakamatsu |
第 1 著者 所属(和/英) | 九州工業大学(略称:九工大) Kyushu Institute of Technology(略称:Kyutech) |
第 2 著者 氏名(和/英) | 青山 裕介 / Yusuke Aoyama |
第 2 著者 所属(和/英) | 九州工業大学(略称:九工大) Kyushu Institute of Technology(略称:Kyutech) |
第 3 著者 氏名(和/英) | 久代 紀之 / Noriyuki Kushiro |
第 3 著者 所属(和/英) | 九州工業大学(略称:九工大) Kyushu Institute of Technology(略称:Kyutech) |
発表年月日 | 2021-01-23 |
資料番号 | KBSE2020-30 |
巻番号(vol) | vol.120 |
号番号(no) | KBSE-334 |
ページ範囲 | pp.7-12(KBSE), |
ページ数 | 6 |
発行日 | 2021-01-16 (KBSE) |