10月24日(木) 午前 SIGSS
10:30 - 11:30 |
(1)
SS |
10:30-10:50 |
組込みCISCアセンブリプログラムの記号モデル検査  SS2013-36 |
○渡邊健太・チャン ヘジン・櫻井孝平・山根 智（金沢大） |
(2)
SS |
10:50-11:10 |
組込みCISCマイコンのアセンブリプログラムに対する振舞い抽出器の開発とモデル検査への適用 ～ シミュレーションによるモデルの自動生成 ～ SS2013-37 |
○公下亮佑・山根 智・櫻井孝平（金沢大） |
(3)
SS |
11:10-11:30 |
書き換え規則に基づくAPIベース言語拡張のためのCOINSを用いたフレームワークの設計と実装 SS2013-38 |
○塩出拓也・川端英之・北村俊明（広島市大） |
10月24日(木) 午前 SIGSE テスト・解析
11:30 - 12:30 |
| (4) |
11:30-11:50 |
フレームワークアプリケーションに於ける副作用の兆候を抽出する動的解析手法
○久米出（奈良先端科学技術大学院大学）, 新田直也（甲南大学）, 中村匡秀（神戸大学）, 柴山悦哉（東京大学） |
| (5) |
11:50-12:10 |
デルタ抽出プラグインの実装とそのプログラム理解に対する有効性評価
○松岡智大, 新田直也（甲南大学） |
| (6) |
12:10-12:30 |
Concolic Testingを用いた結合テスト向けテストデータ生成手法の提案
○丹野治門, 星野隆（NTT）, Sen Koushik（University of California, Berkeley）, 高橋健司（NTT Innovation Institute Inc.） |
10月24日(木) 午後 SIGSS
13:30 - 15:30 |
(7)
SS |
13:30-13:50 |
有向グラフ分析によるソフトウェア保守性評価の試み SS2013-39 |
○中村光宏（富士通/横浜国大）・木野本玲子・中嶋久彰（富士通）・濱上智樹（横浜国大） |
(8)
SS |
13:50-14:10 |
プログラムの関数・変数関係の一表現法 SS2013-40 |
○高橋耶真人・福原和哉・猪股俊光・新井義和・今井信太郎（岩手県立大） |
(9)
SS |
14:10-14:30 |
コードレビュー支援システムのための関数・変数関係の可視化実現法 SS2013-41 |
○福原和哉・高橋耶真人・猪股俊光・新井義和・今井信太郎（岩手県立大） |
(10)
SS |
14:30-14:50 |
再利用実績に基づいたコード片検索手法の提案 SS2013-42 |
○石原知也・堀田圭佑・肥後芳樹・楠本真二（阪大） |
(11)
SS |
14:50-15:10 |
ソースコード中の変数間のデータ依存関係を用いたコミットの分割 SS2013-43 |
○切貫弘之・堀田圭佑・肥後芳樹・楠本真二（阪大） |
(12)
SS |
15:10-15:30 |
サービス指向リポジトリマイニングを効率化するキャッシュ機構の実装 SS2013-44 |
○坂元康好・柗本真佑・中村匡秀（神戸大） |
10月24日(木) 午後 SIGSE 要求・設計
15:40 - 17:40 |
| (13) |
15:40-16:00 |
ソフトウェアプロダクトラインにおける非機能特性を考慮した製品導出支援手法の提案
○永野寛丸, 岸知二（早稲田大学） |
| (14) |
16:00-16:20 |
ソフトウェア開発プロセスモデルを用いた形式手法の導入効果の検討
○日下部茂, 林信宏, 大森洋一, 荒木啓二郎（九州大学） |
| (15) |
16:20-16:40 |
ドメイン用語辞書の再利用に向けたグループ化
○大森洋一, 日下部茂, 林信宏, 荒木啓二郎（九州大学） |
| (16) |
16:40-17:00 |
フレームワークサンプルアプリケーションを利用した実行シナリオの実装支援ツールの開発
○縄江保宏, 新田直也（甲南大学） |
| (17) |
17:00-17:20 |
実行シナリオに基づくレイヤアーキテクチャの評価手法
○小林謙太郎, 新田直也（甲南大学） |
| (18) |
17:20-17:40 |
プログラム理解支援を目的とした分散ペアプログラミングのコミュニケーションログの活用
○秀毛嶺維馬, 奥野拓（公立はこだて未来大学） |
10月24日(木) 午後 SIGSE 会議報告
17:40 - 17:55 |
| (19) |
17:40-17:55 |
第21回要求工学国際会議（RE2013）参加報告
○斎藤忍（NTTデータ）, 中川博之（電気通信大学）, 中谷多哉子（筑波大学）, 青山幹雄（南山大学） |
10月25日(金) 午前 招待講演
10:15 - 11:00 |
| (20) |
10:15-11:00 |
[招待講演]
「ソフトウェアサイエンス：今と昔」（仮題）
片山 卓也（北陸先端科学技術大学院大学長） |
10月25日(金) 午前 SIGSE システム開発
11:10 - 12:30 |
| (21) |
11:10-11:30 |
ソフトウェア開発プロジェクトをまたがるJust-In-Timeバグ予測の実験的評価
○福島崇文, 亀井靖高, 鵜林尚靖（九州大学） |
| (22) |
11:30-11:50 |
PBLにおけるデザイン思考の導入事例
○大迫周平, 亀井靖高, 細合晋太郎（九州大学）, 加藤公敬（富士通）, 石塚昭彦, 坂口和敏（富士通デザイン）, 川高美由紀（FUJITSUユニバーシティ）, 森田昌嗣, 鵜林尚靖, 福田晃（九州大学） |
| (23) |
11:50-12:10 |
センサデータサーバのための分散データベースの構築，運用に関する考察
○永井琢也, 満田成紀, 福安直樹, 松延拓生, 鯵坂恒夫（和歌山大学） |
| (24) |
12:10-12:30 |
組込みソフトウェア向けの故障木解析手法
○高橋正和（山梨大学） |
10月25日(金) 午後 SIGSS
13:30 - 14:30 |
(25)
SS |
13:30-13:50 |
ランダムテストを利用した制約のあるインタラクションテストの効率的なテストケース生成 SS2013-45 |
○平﨑靖博・小島英春・土屋達弘（阪大） |
(26)
SS |
13:50-14:10 |
設計書に基づくテスト項目抽出手法の提案および既存開発プロセスへの適用 SS2013-46 |
張 暁晶・○丹野治門・星野 隆（NTT） |
(27)
SS |
14:10-14:30 |
And/Or/Callグラフの提案とソースコード検索への応用 SS2013-47 |
○神谷年洋（公立はこだて未来大） |
10月25日(金) 午後 SIGSE プログラム解析
14:40 - 16:15 |
| (28) |
14:40-15:00 |
テキストマイニング技術を応用したメソッドクローン検出手法の提案
○山中裕樹（大阪大学）, 吉田則裕（奈良先端科学技術大学院大学）, 崔恩瀞, 井上克郎（大阪大学） |
| (29) |
15:00-15:20 |
ソースコードを構成する処理ブロックの特徴に着目したコードクローン推定技術
○垣谷広輝, 安藤優作, 平山雅之（日本大学）, 菊地奈穂美（沖電気工業） |
| (30) |
15:20-15:40 |
版管理システムを用いた開発プロセスに適したコードクローン修正支援ツールの検討
○藤原雄介, 藤原賢二, 吉田則裕, 飯田元（奈良先端科学技術大学院大学） |
| (31) |
15:40-16:00 |
ソフトウェアプロダクト間での Logical Coupling 検出に向けた予備的な調査
○中村高士, 早瀬康裕, 北川博之（筑波大学） |
| (32) |
16:00-16:15 |
ソフトウェアプロダクトライン国際会議（SPLC2013）参加報告
○岸知二（早稲田大学）, 石田裕三, 坂田祐司, 中西恒夫（九州大学）, 野田夏子（芝浦工業大学）, 野中誠（東洋大学）, 林好一（SRA）, 久住憲嗣（九州大学）, 山内和幸（エクスモーション）, 吉村健太郎（日立製作所）, 鷲崎弘宜（早稲田大学） |
: 
