| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2015年度)
「from:2016-03-10 to:2016-03-10」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2016-03-10 09:00 |
沖縄 | 沖縄県立宮古青少年の家 | 情報システムのパターンとバリエーションの把握に向けた変更要求分析 ○久保綾加・鯵坂恒夫・福安直樹・満田成紀・松延拓生（和歌山大）  SS2015-76 |
情報システムの開発上流工程に現れるパターンについては，著名な著書もあるが現場で十分生かされているとはいえない．しかし，組... [more] | SS2015-76 pp.1-5 |
| SS | 2016-03-10 09:25 |
沖縄 | 沖縄県立宮古青少年の家 | ソースコードの特性を考慮した感情極性の分析 ○山田晃久・水野 修（京都工繊大） SS2015-77 |
近年，自然言語処理の研究分野において感情推定が注目されている．これは一般的に，文章から筆者や話者の意見の極性を特定するこ... [more] | SS2015-77 pp.7-12 |
| SS | 2016-03-10 09:50 |
沖縄 | 沖縄県立宮古青少年の家 | シナリオ部品の統合化とシナリオ作成支援 高木庫平・○大西 淳（立命館大） SS2015-78 |
シナリオを用いてシステムの要求獲得を行う場合，多くのシナリオが必要となる．シナリオの品質と生産性を向上させるため，シナリ... [more] | SS2015-78 pp.13-18 |
| SS | 2016-03-10 10:25 |
沖縄 | 沖縄県立宮古青少年の家 | On the query preservation for nondeterministic tree transducers ○Kazuki Miyahara（NAIST）・Kenji Hashimoto（Nagoya Univ.）・Hiroyuki Seki（NAIST/Nagoya Univ.） SS2015-79 |
We consider the problem of deciding whether a query can be r... [more] | SS2015-79 pp.19-24 |
| SS | 2016-03-10 10:50 |
沖縄 | 沖縄県立宮古青少年の家 | 組合せ最適化問題記述のためのSQLの拡張 ○内田佑作・酒井正彦・西田直樹（名大） SS2015-80 |
近年，充足可能性判定ソルバの高速化がめざましい． しかしながらこれらのソルバを用いて組合せ最適化問題を解くための論理式... [more] |
SS2015-80 pp.25-30 |
| SS | 2016-03-10 11:15 |
沖縄 | 沖縄県立宮古青少年の家 | 拡張Farkas補題の部分適用による非線形ループ不変式生成を用いたプログラム検証 ○柳澤真志・西田直樹・酒井正彦（名大） SS2015-81 |
ループ不変式を生成するための手法として，与えたテンプレートと事前条件と事後条件から得られる検証式をFarkas補題に基づ... [more] | SS2015-81 pp.31-36 |
| SS | 2016-03-10 13:00 |
沖縄 | 沖縄県立宮古青少年の家 | 制限されたDTDクラスのもとでのXQuery式の型推論 ○杉村憲司・石原靖哲（阪大）・加藤弘之（NII）・藤原 融（阪大） SS2015-82 |
XQuery 型推論問題は,問合せ最適化などに応用できる重要な問題である... [more] | SS2015-82 pp.37-42 |
| SS | 2016-03-10 13:25 |
沖縄 | 沖縄県立宮古青少年の家 | ノードの並べ替え処理と重複削除処理の回避によるXQuery最適化 ○石原靖哲（阪大）・加藤弘之（NII）・Torsten Grust（Universitaet Tuebingen） SS2015-83 |
XQuery式の評価においては，XML文書中のノードの並べ替えとノードの重複削除の処理がしばしば発生する．本報告では，X... [more] | SS2015-83 pp.43-48 |
| SS | 2016-03-10 13:50 |
沖縄 | 沖縄県立宮古青少年の家 | ソースコード片検索および推薦のためのクリーニング手法の提案と評価 ○内山武尊（公立はこだて未来大）・神谷年洋（島根大）・新美礼彦（公立はこだて未来大） SS2015-84 |
本研究では自然言語処理むけの機械学習の技術であるWord2Vecをソフトウェアプロダクトのソースコードに適用する．Wor... [more] | SS2015-84 pp.49-54 |
| SS | 2016-03-10 14:15 |
沖縄 | 沖縄県立宮古青少年の家 | Word2Vecを用いたバグ報告からの不具合ファイル特定 ○釆野友紀也・水野 修（京都工繊大）・崔 銀惠（産総研） SS2015-85 |
ソフトウェアのバグが報告されると，開発者はバグ修正のためにバグに関連するソースコードファイルを特定する必要がある．この過... [more] | SS2015-85 pp.55-60 |
| SS | 2016-03-10 14:50 |
沖縄 | 沖縄県立宮古青少年の家 | ExecutableUMLを用いたソフトウェアの消費エネルギー解析手法 ○吉本竜輔・久住憲嗣・福田 晃（九大） SS2015-86 |
組込みシステムは多機能化が進んでおり，消費電力が増大している．消費エネルギーの削減のために，ソフトウェアの振る舞いに依存... [more] | SS2015-86 pp.61-66 |
| SS | 2016-03-10 15:15 |
沖縄 | 沖縄県立宮古青少年の家 | 開発者と自動プログラム修正手法による修正の差異の調査 ○中島弘貴・横山晴樹・肥後芳樹・楠本真二（阪大） SS2015-87 |
近年，プログラム中の欠陥の特定および修正を自動的に行う手法が数多く提案されている． 自動プログラム修正手法は，欠陥を含... [more] |
SS2015-87 pp.67-72 |
| SS | 2016-03-10 15:40 |
沖縄 | 沖縄県立宮古青少年の家 | 集約されたメソッドを利用したコードクローンベンチマークの作成 ○幸 佑亮・肥後芳樹・堀田圭祐・楠本真二（阪大） SS2015-88 |
コードクローンとは，ソースコード中に存在する互いに類似したコード片のことである．一般的に，コードクローンはソフトウェアの... [more] | SS2015-88 pp.73-78 |
| SS | 2016-03-10 16:05 |
沖縄 | 沖縄県立宮古青少年の家 | 再利用に基づく自動プログラム修正における更新順を用いた挿入候補の絞込の提案 ○山本将弘・横山晴樹・肥後芳樹・楠本真二（阪大） SS2015-89 |
自動プログラム修正において，ソースコード中の行を再利用して修正を行う研究が行われている．再利用に基づく自動プログラム修正... [more] | SS2015-89 pp.79-84 |
| SS | 2016-03-10 16:30 |
沖縄 | 沖縄県立宮古青少年の家 | クラウド知識に基づいたプログラミング支援環境CodeConcierge ○高橋裕太・深町拓也・鵜林尚靖・細合晋太郎・亀井靖高（九大） SS2015-90 |
ソフトウェア開発において，コーディングに関するクラウド知識(Crowd Knowledge)を利用する機会は往々にしてあ... [more] | SS2015-90 pp.85-90 |
| SS | 2016-03-11 09:00 |
沖縄 | 沖縄県立宮古青少年の家 | リファクタリング実施履歴を用いたCode Smellの深刻度に関する調査 ○雜賀 翼・崔 恩瀞（阪大）・吉田則裕（名大）・春名修介・井上克郎（阪大） SS2015-91 |
Code Smellとは，ソースコードの設計上の問題を示す指標であり，リファクタリングが推奨されている. しかし, 実際... [more] | SS2015-91 pp.91-96 |
| SS | 2016-03-11 09:25 |
沖縄 | 沖縄県立宮古青少年の家 | ライフサイクル指向アーキテクチャにおける要求、設計、運用情報間でのトレーサビリティ確立手法 ○石橋翔太・久住憲嗣・福田 晃（九大） SS2015-92 |
システムの大規模化や，環境の変化により，システム開発では多くの不確定要素が発生する．不確定要素には，実際にシステムの運用... [more] | SS2015-92 pp.97-102 |
| SS | 2016-03-11 09:50 |
沖縄 | 沖縄県立宮古青少年の家 | モデリング教育を支援する埋込み型モデリングツールの開発と評価 ○別府 薫・久住憲嗣・福田 晃（九大） SS2015-93 |
近年，システム開発の大規模化・複雑化や高品質の実現のために，モデリング技術の重要性が高まっている．そのため，教育現場での... [more] | SS2015-93 pp.103-108 |
| SS | 2016-03-11 10:25 |
沖縄 | 沖縄県立宮古青少年の家 | Stack Overflowを用いたデバッグの有用性に関する実証分析 ○荻原由輝・深町拓也・鵜林尚靖・細合晋太郎・亀井靖高（九大） SS2015-94 |
Stack OverflowなどのQ&Aサイトにはプログラミング技術に関するデータが数多く蓄積されており，これらをデバッ... [more] | SS2015-94 pp.109-114 |
| SS | 2016-03-11 10:50 |
沖縄 | 沖縄県立宮古青少年の家 | ベイズ推定を用いた組み合わせテスト最適化手法の提案 ○河端駿也（京都工繊大）・崔 銀惠（産総研）・水野 修（京都工繊大） SS2015-95 |
理想的なテストの条件は，少ないテストケース数で多くのフォールトを検出できることである． 組み合わせテストは，テストケー... [more] |
SS2015-95 pp.115-120 |
[研究会発表申込システムのトップページに戻る]