研究会 |
発表日時 |
開催地 |
タイトル・著者 |
抄録 |
資料番号 |
KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-18 09:40 |
北海道 |
北海道・帯広市 とかちプラザ 視聴覚室/大集会室 |
類似するコーディングパターンの利用状況調査ツールの提案 ○小笠原康貴・神田哲也・井上克郎(阪大) SS2018-1 KBSE2018-11 |
コーディングパターンとは,ソースコード中に頻出する定型的なコード片のことである.コーディングパターンを調査し再利用するこ... [more] |
SS2018-1 KBSE2018-11 pp.1-6 |
KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-18 10:05 |
北海道 |
北海道・帯広市 とかちプラザ 視聴覚室/大集会室 |
自動プログラム修正手法を用いた自動リファクタリングツールの試作 ○谷門照斗・肥後芳樹・楠本真二(阪大) SS2018-2 KBSE2018-12 |
リファクタリングとはソフトウェアの外部的振る舞いを保ったまま,内部構造を改善する作業であり,ソフトウェアの保守性を向上さ... [more] |
SS2018-2 KBSE2018-12 pp.7-12 |
KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-18 10:30 |
北海道 |
北海道・帯広市 とかちプラザ 視聴覚室/大集会室 |
開発者の活動量の経時的変化がコミッター候補者予測に与える影響の分析 ○山崎大輝・大平雅雄・伊原彰紀・柏 祐太郎・宮崎智己(和歌山大) SS2018-4 KBSE2018-14 |
多くの大規模OSSプロジェクトでは,変更したコードを検証し版管理システムに反映するための特別な権限を持つコミッターの不足... [more] |
SS2018-4 KBSE2018-14 pp.19-24 |
KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-18 11:05 |
北海道 |
北海道・帯広市 とかちプラザ 視聴覚室/大集会室 |
状態遷移学習による分散協調システムの異常診断法 ○渡邉陽介(名大)・佐藤守一(豊田中研)・関 浩之・結縁祥治(名大) SS2018-3 KBSE2018-13 |
IoT(Internet of Things)の普及やつながるクルマの進展により,複数のシステムの連携が拡大している.シ... [more] |
SS2018-3 KBSE2018-13 pp.13-18 |
KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-18 11:30 |
北海道 |
北海道・帯広市 とかちプラザ 視聴覚室/大集会室 |
時間付き可逆プロセス計算 ○山本 暁・結縁祥治(名大) SS2018-5 KBSE2018-15 |
本研究では、並行動作する実時間システムに対して、可逆性を付与した効率的なデバッグのモデルとして、並行計算の形式的体系の1... [more] |
SS2018-5 KBSE2018-15 pp.25-30 |
KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-18 11:55 |
北海道 |
北海道・帯広市 とかちプラザ 視聴覚室/大集会室 |
STAMP/STPAの鉄道踏切「とりこ検知」例題に対するモデル検査適用と考察 ○楊 盼・辛島 凛・岡野浩三・小形真平(信州大) SS2018-6 KBSE2018-16 |
[more] |
SS2018-6 KBSE2018-16 pp.31-36 |
KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-18 14:00 |
北海道 |
北海道・帯広市 とかちプラザ 視聴覚室/大集会室 |
カバリングアレイの事後最適化による組み合わせテストでの不具合特定の実現 ○金 浩・土屋達弘(阪大) SS2018-7 KBSE2018-17 |
本研究では,組み合わせテストで用いられる 2 種類の数学的構造である制約付きカバリングアレイ( CCA )と制約付きロケ... [more] |
SS2018-7 KBSE2018-17 pp.37-41 |
KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-18 14:25 |
北海道 |
北海道・帯広市 とかちプラザ 視聴覚室/大集会室 |
組み込みシステムに対する安全な機能追加手法の考察 ○土田真也・中川博之・土屋達弘(阪大) SS2018-8 KBSE2018-18 |
特定の機能を実現する組み込みシステムに対して, 運用後の機能追加が必要な場合がある. しかし, 組み込みシステムが持つ特... [more] |
SS2018-8 KBSE2018-18 pp.43-48 |
KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-18 14:50 |
北海道 |
北海道・帯広市 とかちプラザ 視聴覚室/大集会室 |
ECサイトの検索機能へのメタモルフィック・テスティングの適用 ○永井史優・土屋達弘(阪大) SS2018-9 KBSE2018-19 |
本研究では, 検索エンジンのテストに対するメタモルフィック・テスティング (Metamorphic Testing) の... [more] |
SS2018-9 KBSE2018-19 pp.49-54 |
KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-18 15:25 |
北海道 |
北海道・帯広市 とかちプラザ 視聴覚室/大集会室 |
IoTネットワークにおける障害耐性の高いトポロジー生成 ○太田光雅(早大)・高橋竜一(茨城大)・深澤良彰(早大) SS2018-10 KBSE2018-20 |
IoT環境内に配置されたリソース同士が通信を行う際,ゲートウェイを中継点としたマルチホップ通信が行われる.通信経路が一つ... [more] |
SS2018-10 KBSE2018-20 pp.55-60 |
KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-18 15:50 |
北海道 |
北海道・帯広市 とかちプラザ 視聴覚室/大集会室 |
コントロールループに着目したIoTアーキテクチャモデルの検証に関する一考察 ○青木善貴(日本ユニシス)・小形真平・小林一樹(信州大)・中川博之(阪大) SS2018-11 KBSE2018-21 |
IoT(Internet of Things)システムはサイバー空間とフィジカル空間をまたがる複雑な構成となる.その構成... [more] |
SS2018-11 KBSE2018-21 pp.61-66 |
KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-19 16:05 |
北海道 |
北海道・帯広市 とかちプラザ 視聴覚室/大集会室 |
メソッド入退出情報を利用した階層的欠陥箇所特定支援手法 ○原口大和・野田訓広・小林隆志(東工大) SS2018-12 KBSE2018-22 |
デバッグにおいて,欠陥箇所の特定は困難な作業である.これを解決するため,欠陥箇所特定手法に関する研究が多数行われている.... [more] |
SS2018-12 KBSE2018-22 pp.149-154 |
KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-19 16:30 |
北海道 |
北海道・帯広市 とかちプラザ 視聴覚室/大集会室 |
仮想ファイルシステムを用いたプログラム内部状態観測ツールの試作 ○平ノ内奎太・野田訓広・小林隆志(東工大) SS2018-13 KBSE2018-23 |
プログラムに発生した問題の解決のためには,実行中の状態を観測することが有効である.本研究では,プログラムを実行しながら連... [more] |
SS2018-13 KBSE2018-23 pp.155-160 |
KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-19 16:55 |
北海道 |
北海道・帯広市 とかちプラザ 視聴覚室/大集会室 |
Concurrent Execution Semantics of the Functional Programming Language in Continuation Passing Style Based on the Actor Model ○Nagisa Kojima・Kazuyuki Shima・Akio Nakata(Hiroshima City Univ.) SS2018-14 KBSE2018-24 |
[more] |
SS2018-14 KBSE2018-24 pp.161-166 |
KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-20 10:30 |
北海道 |
北海道・帯広市 とかちプラザ 視聴覚室/大集会室 |
オープンなスマートモビリティ市場におけるサービスの開発と運用 ~ アーキテクチャ戦略とサービスのサプライチェーンマネジメント ~ ○中西恒夫(福岡大)・久住憲嗣・安藤崇央・峯 恒憲・福田 晃(九大) SS2018-15 KBSE2018-25 |
多くのステークホルダが競争しつつも相互依存する,オープンかつ動的なスマートモビリティ市場において,情報サービスを開発,運... [more] |
SS2018-15 KBSE2018-25 pp.183-188 |
KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-20 10:55 |
北海道 |
北海道・帯広市 とかちプラザ 視聴覚室/大集会室 |
属性の適切さに注目した概念データモデル自動評価手法 ○田中昂文(東京農工大)・橋浦弘明(日本工大)・櫨山淳雄(学芸大)・毛利考佑・金子敬一(東京農工大) SS2018-16 KBSE2018-26 |
データベース設計教育において概念データモデリング(CDM)の能力育成は重要である。多人数の学習者対象のCDM演習において... [more] |
SS2018-16 KBSE2018-26 pp.189-194 |
KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-20 11:20 |
北海道 |
北海道・帯広市 とかちプラザ 視聴覚室/大集会室 |
アジャイル開発における生産性評価法の一検討 ○秦泉寺久美・羽室大介(NTT) SS2018-17 KBSE2018-27 |
[more] |
SS2018-17 KBSE2018-27 pp.195-200 |