| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2015年度)
「from:2015-07-22 to:2015-07-22」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-22 15:40 |
北海道 | 札幌市教育文化会館 | プレファクタリングのための不吉な臭いの検出結果の優先順位付け ○セーリム ナッタウット・林 晋平・佐伯元司（東工大）  SS2015-16 KBSE2015-9 |
プレファクタリングの適用箇所を特定するため，ソースコード中の不吉な臭いの検出器が提案されている．しかし，既存の不吉な臭い... [more] | SS2015-16 KBSE2015-9 pp.33-38 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-22 16:10 |
北海道 | 札幌市教育文化会館 | 設計書に基づくWebアプリのシナリオテスト向けテスト項目抽出手法 ○張 暁晶・丹野治門（NTT） SS2015-17 KBSE2015-10 |
ソフトウェア開発現場では，テスト実行の自動化が進む一方，テスト設計の効率化が求められている．本論文では，Web 系業務シ... [more] | SS2015-17 KBSE2015-10 pp.39-44 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-22 16:40 |
北海道 | 札幌市教育文化会館 | 分散型版管理リポジトリでの作業履歴記録ツールの試作 ○松田淳平・林 晋平・佐伯元司（東工大） SS2015-18 KBSE2015-11 |
複雑化する分散型版管理システムに対する操作を支援する上で，開発者による版管理システム操作に対する解析が十分に進んでいない... [more] | SS2015-18 KBSE2015-11 pp.45-50 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-22 17:10 |
北海道 | 札幌市教育文化会館 | ソースコード変更時の影響波及解析を目的とした表現法と影響の可視化法の提案 ○大久保建男（岩手県立大）・福原和哉（i-MOS）・晴澤陽太・猪股俊光・新井義和・今井信太郎（岩手県立大） SS2015-19 KBSE2015-12 |
ソフトウェア開発現場では，ソースコードの一部を書き換えた場合でも，別の箇所に書き換えによる影響が波及している可能性を考慮... [more] | SS2015-19 KBSE2015-12 pp.51-56 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-23 09:30 |
北海道 | 札幌市教育文化会館 | 依存関係に基づく括出し法 ○那須孝志・滝本宗宏（東京理科大） SS2015-20 KBSE2015-13 |
SIMD実行によって引き起こされる分岐発散は，GPUの効率低下を引き起こす主要な問題である．この分岐発散を改善する手法と... [more] | SS2015-20 KBSE2015-13 pp.57-62 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-23 10:00 |
北海道 | 札幌市教育文化会館 | 適用保護手法の特定の試み ～ 不自然さ評価方法を用いて ～ ○匂坂勇仁・玉田春昭（京都産大） SS2015-21 KBSE2015-14 |
近年、コンピュータの普及により様々なソフトウェアが開発されるようになっている。その反面、... [more] | SS2015-21 KBSE2015-14 pp.63-68 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-23 10:40 |
北海道 | 札幌市教育文化会館 | セキュリティ，プライバシー向け共通問題EMSsecの提案 ○大久保隆夫（情報セキュリティ大）・海谷治彦（神奈川大）・鷲崎弘宣（早大）・小形真平（信州大）・柿崎淑郎（東京電機大）・櫨山淳雄（学芸大）・吉岡信和（NII） SS2015-22 KBSE2015-15 |
[more] | SS2015-22 KBSE2015-15 pp.69-74 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-23 11:10 |
北海道 | 札幌市教育文化会館 | IoTセンサーのデータを使ったリアルタイム避難計画立案の構想 ○飯島 正（慶大） SS2015-23 KBSE2015-16 |
[more] | SS2015-23 KBSE2015-16 pp.75-79 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-23 11:40 |
北海道 | 札幌市教育文化会館 | 要求仕様における関心事の分離によるモデル駆動開発手法 ○川合 怜・松浦佐江子（芝浦工大） SS2015-24 KBSE2015-17 |
モデル駆動開発は高品質なソフトウェア製品を効率的に開発するための有用なアプローチである．我々は，インタラクティブなアプリ... [more] | SS2015-24 KBSE2015-17 pp.81-86 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-23 15:20 |
北海道 | 札幌市教育文化会館 | ビッグデータとクラウドを想定したフォールトデータクラスタリングに基づくソフトウェア信頼性評価法 ○田村慶信（山口大）・信川ゆみ・山田 茂（鳥取大） SS2015-25 KBSE2015-18 |
[more] | SS2015-25 KBSE2015-18 pp.119-124 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-23 15:50 |
北海道 | 札幌市教育文化会館 | オープンソース開発における開発者ごとでのコメント記述の傾向に関する調査 ○中野貴史・佐々木隆志・川原 稔・阿萬裕久（愛媛大） SS2015-26 KBSE2015-19 |
[more] | SS2015-26 KBSE2015-19 pp.125-130 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-23 16:20 |
北海道 | 札幌市教育文化会館 | 自動バグ修正における対応可能バグ数の拡充に向けて ～ 大規模データセットを用いるアプローチのフィージビリティ調査 ～ ○鷲見創一・肥後芳樹・楠本真二（阪大） SS2015-27 KBSE2015-20 |
近年，既存ソースコード行の再利用による自動バグ修正手法が注目されている．再利用に基づく自動バグ修正では，バグであると特定... [more] | SS2015-27 KBSE2015-20 pp.131-136 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-23 16:50 |
北海道 | 札幌市教育文化会館 | データバインディングを利用したRIA UI設計のモデル検査 ○岩塚卓弥・大島剛志・榎本俊文（NTT） SS2015-28 KBSE2015-21 |
RIA はクライアントサイドスクリプトによる Web ページの部分的な書き換えによって,高い使用性を実 現している.一方... [more] | SS2015-28 KBSE2015-21 pp.137-142 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-24 09:00 |
北海道 | 札幌市教育文化会館 | Atelier-Bによる形式検証手法の試行評価 ○山本椋太・山本修一郎（名大） SS2015-29 KBSE2015-22 |
本論文では，Bメソッドの開発ツールであるAtelier-B(CLEARSY社)を用いて実施した形式的検証手法の評価につい... [more] | SS2015-29 KBSE2015-22 pp.143-148 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-24 09:30 |
北海道 | 札幌市教育文化会館 | UMLモデリング教育を支援するルールベースのクラス図採点支援ツール ○宮島和音・小形真平・香山瑞恵・岡野浩三（信州大） SS2015-30 KBSE2015-23 |
UMLモデリング教育では，唯一の解がないモデルの採点とフィードバック作成に時間がかかる．本研究はクラス図を対象に，教師に... [more] | SS2015-30 KBSE2015-23 pp.149-154 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-24 10:00 |
北海道 | 札幌市教育文化会館 | 融合ゴール指向要求分析法におけるメトリクスを用いたAs-Isモデルの問題点発見手法 ○伊藤翔一朗・林 晋平・佐伯元司（東工大） SS2015-31 KBSE2015-24 |
ゴール指向要求分析法は要求の構造理解や分解に有用であるが，システム実行時の振る舞いに関する要求を把握しづらい．プロブレム... [more] | SS2015-31 KBSE2015-24 pp.155-160 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-24 10:40 |
北海道 | 札幌市教育文化会館 | AlloyとEvent-Bを用いる2段階モデリング手法 ○中島 震（NII） SS2015-32 KBSE2015-25 |
[more] | SS2015-32 KBSE2015-25 pp.161-166 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-24 11:10 |
北海道 | 札幌市教育文化会館 | パターン除去による制約付き項書換え系の等価変換 ○長尾貴浩・西田直樹・酒井正彦（名大） SS2015-33 KBSE2015-26 |
制約付き項書換え系は整数制約などにより規則の適用を制御できるように項書換え系を拡張した枠組みである．書換え規則の左辺に現... [more] | SS2015-33 KBSE2015-26 pp.167-172 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-24 11:40 |
北海道 | 札幌市教育文化会館 | SPINを用いたVDM仕様に対するモデル検査適用手法 ○林 信宏・大森洋一・日下部 茂・荒木啓二郎（九大） SS2015-34 KBSE2015-27 |
VDM (Vienna Development Method)は、形式手法の一つで，ソフトウェア開発の要求に対して様々な... [more] | SS2015-34 KBSE2015-27 pp.173-178 |
[研究会発表申込システムのトップページに戻る]