お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催プログラム
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップ  戻る   前のDC研究会 / 次のDC研究会 [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


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

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

日時 2020年10月19日(月) 13:00 - 17:15
議題 ソフトウェアシステムとディペンダブルコンピューティングおよび一般 
会場名 オンライン開催 
著作権に
ついて
以下の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
参加費に
ついて
この開催は「技報完全電子化」研究会です.参加費(DC研究会, SS研究会)についてはこちらをご覧ください

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

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

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


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


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

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

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

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


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

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


IEICE / 電子情報通信学会