| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ディペンダブルコンピューティング研究会 (DC) (検索条件: 2019年度)
「from:2019-10-24 to:2019-10-24」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| DC, SS (共催) |
2019-10-24 13:00 |
熊本 | 熊本大学 | Bug Localizationに対して不吉な臭いを使用する有用性の解明 ○高橋 碧・セーリム ナッタウット・林 晋平・佐伯元司（東工大）  SS2019-13 DC2019-41 |
大規模なソフトウェア開発において，特定のバグを解決するために修正すべきモジュールを探し出す Bug Localizat... [more] | SS2019-13 DC2019-41 pp.1-6 |
| DC, SS (共催) |
2019-10-24 13:25 |
熊本 | 熊本大学 | CUIツールの開発支援サービスとしての再構築手順の提案 ○宮崎 光・玉田春昭（京都産大） SS2019-14 DC2019-42 |
今日の開発では，非常に多くの計測ツールが利用されている． 例えば，バグパターン検知ツール SpotBugsや，ドキュ... [more] |
SS2019-14 DC2019-42 pp.7-12 |
| DC, SS (共催) |
2019-10-24 13:50 |
熊本 | 熊本大学 | Change Untangling結果の対話的最適化支援環境の試作 ○山下 慧・林 晋平・佐伯元司（東工大） SS2019-15 DC2019-43 |
保守性や履歴分析の信頼性向上のため，リポジトリ中の改版履歴を1コミット1タスクに対応するよう構造化し直すこと，いわゆるC... [more] | SS2019-15 DC2019-43 pp.13-18 |
| DC, SS (共催) |
2019-10-24 14:30 |
熊本 | 熊本大学 | Computing Optimal Weight in Weighted Register Automata and Related Decision Problems ○Reo Yoshimura（Nagoya Univ.）・Yoshiaki Takata（Kochi-tech.）・Hiroyuki Seki（Nagoya Univ.） SS2019-16 DC2019-44 |
[more] | SS2019-16 DC2019-44 pp.19-24 |
| DC, SS (共催) |
2019-10-24 14:55 |
熊本 | 熊本大学 | 存在限量子付き等式を証明するための書換え帰納法の拡張 ○西江一志・西田直樹・酒井正彦（名大） SS2019-17 DC2019-45 |
本稿では，等式を証明するための書換え帰納法を存在限量子付き等式を証明できるように拡張する．具体的にはまず，論理制約付き項... [more] | SS2019-17 DC2019-45 pp.25-30 |
| DC, SS (共催) |
2019-10-24 15:20 |
熊本 | 熊本大学 | 四天王問題の一般化と継続渡しスタイルの関数型言語における非決定性計算による解法プログラム ○横本勇希・小島 渚・島 和之（広島市大） SS2019-18 DC2019-46 |
[more] | SS2019-18 DC2019-46 pp.31-36 |
| DC, SS (共催) |
2019-10-24 16:00 |
熊本 | 熊本大学 | n回状態遷移被覆に基づく非スキャンオンラインテスト法 ○池ヶ谷祐輝・石山悠太・細川利典（日大）・吉村正義（京都産大） SS2019-19 DC2019-47 |
VLSIの経年劣化による障害を回避する手段の一つとして，通常動作時に回路の出力や内部信号線の値を監視するオンラインテスト... [more] | SS2019-19 DC2019-47 pp.37-42 |
| DC, SS (共催) |
2019-10-24 16:25 |
熊本 | 熊本大学 | PPM圧縮における畳み込み符号を用いた誤り訂正手法 ○阿部 巧・北神正人（千葉大） SS2019-20 DC2019-48 |
PPM圧縮は現在最も圧縮率が高い圧縮手法の1つである．提案当時は計算コストが大きすぎるという問題があったが近年のコンピュ... [more] | SS2019-20 DC2019-48 pp.43-46 |
| DC, SS (共催) |
2019-10-25 10:00 |
熊本 | 熊本大学 | ソースコードメトリクスを用いたプログラミングコンテストの類似解答群の検出 ○原口公輔・神田哲也・井上克郎（阪大） SS2019-21 DC2019-49 |
アルゴリズム学習やプログラミング技術向上のため，多くのユーザがプログラミングコンテストに参加している． プログラミング... [more] |
SS2019-21 DC2019-49 pp.47-52 |
| DC, SS (共催) |
2019-10-25 10:25 |
熊本 | 熊本大学 | 変数に着目した変更メトリクスの有効性について ～ フォールト混入予測精度の比較実験 ～ ○川上卓也・阿萬裕久・川原 稔（愛媛大） SS2019-22 DC2019-50 |
ソフトウェア開発及び保守の過程において，ソースコードの変更は必要不可欠であるが，同時にフォールトを混入させてしまう恐れも... [more] | SS2019-22 DC2019-50 pp.53-58 |
| DC, SS (共催) |
2019-10-25 10:50 |
熊本 | 熊本大学 | 複数プロジェクトから高速にコードクローンを検出するキュレーションの提案 ○土居真之・肥後芳樹・楠本真二（阪大） SS2019-23 DC2019-51 |
コードクローン(互いに類似するコード片) はソフトウェア保守に悪影響を与える要因の1 つとして挙げられている． コードク... [more] | SS2019-23 DC2019-51 pp.59-64 |
| DC, SS (共催) |
2019-10-25 11:15 |
熊本 | 熊本大学 | 単語類似度を用いたUMLクラス図理解性メトリクスの改良 ○井原輝人・内田眞司（奈良高専） SS2019-24 DC2019-52 |
[more] | SS2019-24 DC2019-52 pp.65-70 |
[研究会発表申込システムのトップページに戻る]