電子情報通信学会 研究会発表申込システム
研究会 開催プログラム
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップ  戻る   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


ソフトウェアサイエンス研究会(SS) [schedule] [select]
専門委員長 小林 隆志 (東工大)
副委員長 岡野 浩三 (信州大)
幹事 島 和之 (広島市大), 林 晋平 (東工大)
幹事補佐 小形 真平 (信州大)

ディペンダブルコンピューティング研究会(DC) [schedule] [select]
専門委員長 高橋 寛 (愛媛大)
副委員長 土屋 達弘 (阪大)
幹事 新井 雅之 (日大), 難波 一輝 (千葉大)

日時 2020年10月19日(月) 13:00 - 17:15
議題 ソフトウェアシステムとディペンダブルコンピューティングおよび一般 
会場名 オンライン開催 
参加費に
ついて
この開催は「技報完全電子化」研究会です.参加費(DC研究会, SS研究会)についてはこちらをご覧ください

10月19日(月) 午後  セッション1
座長: 新井雅之(日本大学)
13:00 - 14:30
(1) 13:00-13:25 実行ログの比較によるシェルスクリプト振る舞い検証 ○桐生仁司(信州大)・須田 聡(三菱電機)・小形真平・岡野浩三(信州大)
(2) 13:25-13:50 LTL Model Checking for Register Pushdown Systems ○Ryoma Senda(Nagoya Univ.)・Yoshiaki Takata(KUT)・Hiroyuki Seki(Nagoya Univ.)
(3) 13:50-14:15 不具合インタラクション検出のための制約付きディテクティングアレイの高速生成手法 ○金 浩・土屋達弘(阪大)
  14:15-14:30 休憩 ( 15分 )
10月19日(月) 午後  セッション2
座長: 林晋平(東京工業大学)
14:30 - 16:00
(4) 14:30-14:55 言語モデルに基づくDockerfileコード補完システムの提案 ○華山魁生・柗本真佑・楠本真二(阪大)
(5) 14:55-15:20 コンテナ仮想化技術におけるSelf-Admitted Technical Debtの調査 ○東 英明・柗本真佑(阪大)・亀井靖高(九大)・楠本真二(阪大)
(6) 15:20-15:45 プルリクエスト型開発への統合を目的としたコードクローン修正支援システムの提案 ○中川 将・肥後芳樹・楠本真二(阪大)
  15:45-16:00 休憩 ( 15分 )
10月19日(月) 午後  セッション3
座長: 小形真平(信州大学)
16:00 - 17:15
(7) 16:00-16:25 現実的な設定に基づいたバグ予測モデルの構築及び精度評価 ○荻野 翔・肥後芳樹・楠本真二(阪大)
(8) 16:25-16:50 コードレビュー向けコメント行位置予測ツールの試作 ○神谷年洋(島根大)
(9) 16:50-17:15 継続渡しスタイルの関数型言語における非決定性プログラムに関する考察 ○佐野勇樹・横本勇希・小島 渚・島 和之(広島市大)

講演時間
一般講演発表 20 分 + 質疑応答 5 分

問合先と今後の予定
SS ソフトウェアサイエンス研究会(SS)   [今後の予定はこちら]
問合先 林晋平(東京工業大学)
TEL: 03-5734-3213
E--mail: c 
お知らせ ◎最新の情報はSS研究会ホームページでご確認ください.
https://www.ieice.org/iss/ss/
DC ディペンダブルコンピューティング研究会(DC)   [今後の予定はこちら]
問合先 新井 雅之 (日本大学生産工学部)
E--mail: ain-u 
お知らせ ◎最新情報は,DC研究会ホームページを御覧下さい.
http://www.ieice.org/iss/dc/jpn/index.html


Last modified: 2020-11-09 13:11:14


ご注意: 迷惑メール対策のためメールアドレスの一部の文字を置換しております.ご了承ください.

[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
 
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
 

[研究会発表・参加方法,FAQ] ※ ご一読ください
 

[SS研究会のスケジュールに戻る]   /   [DC研究会のスケジュールに戻る]   /  
 
 トップ  戻る   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会