| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ディペンダブルコンピューティング研究会 (DC) (検索条件: 2020年度)
「from:2020-10-19 to:2020-10-19」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| DC, SS (共催) |
2020-10-19 13:00 |
ONLINE | オンライン開催 | 実行ログの比較によるシェルスクリプト振る舞い検証 ○桐生仁司（信州大）・須田 聡（三菱電機）・小形真平・岡野浩三（信州大）  SS2020-5 DC2020-22 |
[more] | SS2020-5 DC2020-22 pp.1-6 |
| DC, SS (共催) |
2020-10-19 13:25 |
ONLINE | オンライン開催 | LTL Model Checking for Register Pushdown Systems ○Ryoma Senda（Nagoya Univ.）・Yoshiaki Takata（KUT）・Hiroyuki Seki（Nagoya Univ.） SS2020-6 DC2020-23 |
A pushdown system (PDS) is known as an abstract model of rec... [more] | SS2020-6 DC2020-23 pp.7-12 |
| DC, SS (共催) |
2020-10-19 13:50 |
ONLINE | オンライン開催 | 不具合インタラクション検出のための制約付きディテクティングアレイの高速生成手法 ○金 浩・土屋達弘（阪大） SS2020-7 DC2020-24 |
制約付きディテクティングアレイ（CDA）は，組み合わせテストにおいて不具合インタラクション検出をするテストスイートの... [more] | SS2020-7 DC2020-24 pp.13-18 |
| DC, SS (共催) |
2020-10-19 14:30 |
ONLINE | オンライン開催 | 言語モデルに基づくDockerfileコード補完システムの提案 ○華山魁生・柗本真佑・楠本真二（阪大） SS2020-8 DC2020-25 |
コスト削減や計算資源の有効活用を目的として，1台の物理サーバ上に複数の仮想サーバ（コンテナ）を構築するコンテナ型仮想化が... [more] | SS2020-8 DC2020-25 pp.19-24 |
| DC, SS (共催) |
2020-10-19 14:55 |
ONLINE | オンライン開催 | コンテナ仮想化技術におけるSelf-Admitted Technical Debtの調査 ○東 英明・柗本真佑（阪大）・亀井靖高（九大）・楠本真二（阪大） SS2020-9 DC2020-26 |
[more] | SS2020-9 DC2020-26 pp.25-30 |
| DC, SS (共催) |
2020-10-19 15:20 |
ONLINE | オンライン開催 | プルリクエスト型開発への統合を目的としたコードクローン修正支援システムの提案 ○中川 将・肥後芳樹・楠本真二（阪大） SS2020-10 DC2020-27 |
コードクローン（クローン）はソフトウェアの保守作業を困難にする要因として知られている．そのため，ソフトウェア保守において... [more] | SS2020-10 DC2020-27 pp.31-36 |
| DC, SS (共催) |
2020-10-19 16:00 |
ONLINE | オンライン開催 | 現実的な設定に基づいたバグ予測モデルの構築及び精度評価 ○荻野 翔・肥後芳樹・楠本真二（阪大） SS2020-11 DC2020-28 |
バグ予測は品質保証に必要なコストを低減できると期待されている．バグを予測するモデルを構築する場合，以下の3つの条件を全て... [more] | SS2020-11 DC2020-28 pp.37-42 |
| DC, SS (共催) |
2020-10-19 16:25 |
ONLINE | オンライン開催 | コードレビュー向けコメント行位置予測ツールの試作 ○神谷年洋（島根大） SS2020-12 DC2020-29 |
ソースコード中のコメントはソースコードを理解するために重要である． 本稿では，ソースコード中にコメントが出現する位置を... [more] |
SS2020-12 DC2020-29 pp.43-48 |
| DC, SS (共催) |
2020-10-19 16:50 |
ONLINE | オンライン開催 | 継続渡しスタイルの関数型言語における非決定性プログラムに関する考察 ○佐野勇樹・横本勇希・小島 渚・島 和之（広島市大） SS2020-13 DC2020-30 |
[more] | SS2020-13 DC2020-30 pp.49-54 |
[研究会発表申込システムのトップページに戻る]