ソフトウェア・シンポジウム 2014
場所：（本会議）秋田市にぎわい交流館 AU
主催：ソフトウェア技術者協会（SEA）〜技術革新〜
6/9 （月曜日）

6/10 （火曜日）

6/11 （水曜日）

6/8（日曜日）併設イベント

9:00 〜 14:00［3ページ目参照］※4

9:00 〜 11:30［3ページ目参照］※6

Serendipity 2 (幸運な発見)

ワーキンググループ

ワーキンググループ〜Serendipity Across Space〜（複数のワーキンググループでの議論）（複数のワーキンググループでの議論でも[秋田市民交流プラザ（アルヴェ）]よい）

12:00 〜 13:00 受付［ホワイエ 付近］
13:00 〜 13:15［多目的ホール］

13:00 〜 14:00［多目的ホール］

オープニングワーキンググループまとめ発表会

13:15 〜 14:45［多目的ホール］
オープニングキーノート「VR 技術を活用した民俗芸能の舞踊の伝承技術」
東北公益文科大学
公益学部長兼大学院研究科長
玉本 英夫氏14:15 〜 15:45［多目的ホール］
14:30 〜 15:50［多目的ホール］※5
論文・報告発表会 セッション 1

クロージングキーノート「災害コミュニケーションとビックデータの可能性」

15:15 〜 18:30［3ページ目参照］※1

さくらインターネット

ワーキンググループ

さくらインターネット研究所 上級研究員
松本 直人氏15:45 〜 16:00［多目的ホール］
クロージング
16:00 〜 17:30［多目的ホール］
論文・報告発表会 セッション 2

17:40 〜 18:25
論文・報告発表会 セッション 3
3-1［多目的ホール］, 3-2［研修室1］!

18:25 〜 19:00

18:30 〜 19:00 移動 ※2

論文・報告発表会 セッション 4
4-1［多目的ホール］, 4-2［研修室1］

19:00 〜［無限堂 大町本店］※3
情報交換会※1：上記の時間は会議室が利用できる時間帯を示しています．運営方法は WG ごとに異なります．
詳細は各 WG のリーダまでお問い合わせください．
（２日目，３日目はともに，8:50に開場します．それより前には建物に入れません）※2：１日目のWGは，遅くとも18:30には終了し，情報交換会の会場へ移動を開始してください．
※3：情報交換会の会場・席順については，最終ページをご覧ください．（受付時に決まったテーブルにご着席ください）※4：2日目のWGは，遅くとも14:00には終了し，論文・報告発表会の会場へ移動を開始してください．
※5：論文・報告発表は，セッションにより発表時間が異なります．
セッション3-1と3-2，および4-1と4-2は並行して行います．どちらに参加していただいても構いません．
※6：３日目のWGは，複数のワーキンググループでの議論でも，各ワーキンググループでの議論でも構いません．
前日のWGにて，それぞれ決定してください．

Software Engineers Association1

論文・報告◆ セッション 1：発表時間は 20 分 (10 分発表，10 分討議)．6/10 (火曜日) 14:30 〜 15:50[09̲研究論文]「バグを混入・除去するソースコード差分の判定手法の提案」

!
!
!
!

山田 晃久，水野 修 (京都工芸繊維大学)[16̲研究論文]「手書きノートアプリケーションに用いられるメニューデザインの使用性の評価」
木谷 篤，中谷 多哉子 (筑波大学)[04̲経験論文]「開発者の特性を考慮した仕様記述ガイドラインによる形式手法導入事例」
明神 智之，島袋 潤 (日立製作所)，長谷川 貴史，廣納 幸治 (日立金属)[01̲経験論文]「『組合せテスト向けの因子分類』を活用した SW 設計の革新」
秋山 浩一 (富士ゼロックス)◆ セッション 2：発表時間は 30 分 (15 分発表，15 分討議)．6/10 (火曜日) 16:00 〜 17:30[21̲研究論文]「形式的仕様スケッチのためのウェブベース開発環境 VDMPad」!
!
!

小田 朋宏 (SRA)，荒木 啓二郎(九州大学)[17̲研究論文]「UML 図に対するソフトウェアオーバーホールを用いたレビュー手法の比較実験」
内田 眞司，松井 真子 (奈良工業高等専門学校)[14̲経験論文]「IT に現場力は存在するのか: その計測と評価の試み」
松尾谷 徹 (デバッグ工学研究所)◆ セッション 3-1：発表時間は 15 分 (10 分発表，5 分討議)．6/10 (火曜日) 17:40 〜 18:25[13̲経験論文]「ソフトウェア要求仕様記述ツール SLP の基本概念」!
!
!

漆原 憲博，塚田 良央，五十嵐 育夫，佐々木 千春，岡本 圭史 (ジェーエフピー)[15̲研究論文]「テスト情報分析に基づいた定量的ソフトウェア信頼性評価手法に関する一考察」
竹腰 祐輝，岡村 寛之，土肥 正 (広島大学)[06̲研究論文]「運用プロファイルと報酬構造を考慮したテストケース生成法」
今富 政喜，土肥 正 (広島大学)◆ セッション 3-2：発表時間は 15 分 (10 分発表，5 分討議)．6/10 (火曜日) 17:40 〜 18:25[03̲経験論文]「マフィアオファーを用いたシーズとニーズを繋ぐ技術提案 −XDDP 提案における事例−」!
!
!

八木 将計，小川 秀人 (日立製作所)[20̲事例報告]「人を育て技術を実現するチーム力 〜9 年間の活動から得られた TIPS〜」
増田 礼子 (フェリカネットワークス)[07̲経験論文]「異業種への『KPT』の適用事例とその効果報告」
根本 紀之 (仙台ソフトウェアテスト勉強会)◆ セッション 4-1：発表時間は 7 分 (5 分発表，2 分討議)．6/10 (火曜日) 18:25 〜 19:00[02̲事例報告]「改良型ゴールモデルによる利用品質領域の可視化事例」

!
!
!
!

安達 賢二 (HBA)[08̲研究論文]「GSN を拡張したゴール指向分析の AND 分解における妥当性確認手法の提案」
岡野 道太郎，中谷 多哉子 (筑波大学)[11̲研究論文]「識別子中の単語情報を用いた Fault-prone モジュール予測」
川島 尚己，水野 修 (京都工芸繊維大学)[22̲研究論文]「テストの実施履歴とテスト項目間の関連情報を利用した効果的なテスト削減方法の提案と評価」
小笠原 秀人，佐々木 愛美，中野 隆司 (東芝)，阿萬 裕久 (愛媛大学)◆ セッション 4-2：発表時間は 7 分 (5 分発表，2 分討議)．6/10 (火曜日) 18:25 〜 19:00[05̲研究論文]「テスト駆動開発を利用した実例による形式仕様記述の提案」

!
!
!
!

伊藤 淳，圓通 聡 (NEC ソリューションイノベータ)，石川 冬樹 (国立情報学研究所)[18̲経験論文]「形式仕様記述を用いたファイルシステム設計の検証」
嶋根 貴洋 (SCSK)，田処 将司 (DTS)[10̲研究論文]「ソフトウェア開発ドキュメント匿名化ツールの試作とその評価」
江川 翔太，岡野 浩三，楠本 真二 (大阪大学)[12̲経験論文]「秋田大学情報工学科における情報教育用計算機システム」
髙谷 眞弓 (秋田大学)[19̲事例報告]「仮設住宅のためのプリペイド型簡易商店システム」
西岡 大，齊藤 信人，寺澤 拓也，市川 潤，村山 優子 (岩手県立大学)

Software Engineers Association
2

3日目

種別

1日目

WG1 : 「派生開発への取り組み」： 塩辛：［和室１］①：［ホールＥ］❶WG2 : 「最新教育技術のトレンド，実践事例研究」： サザエ：［研修室１Ａ］②：［ホールＣ］❷❸ワーキンググループ 1日目，3日目

WG3 : 「要求変更の要因分析」： 塩辛：［和室２］③：［ホールＦ］

WG4 : 「ソフトウェアと社会」： マグロ：［研修室６］④：［研修室６］❹WG5 : 「ソフトウェア保守の全ては人生から学んだ? いや逆だ (仮)」： サザエ：［ホールＡ］⑤：［研修室１Ａ］❺

WG6 : 「ソフトウェアエンジニアリングの遺言」： 塩辛：［ホールＢ］⑥：［研修室１Ｂ］❻

WG7 : 「形式手法の最新技術と産業界での適用」： サザエ：［研修室２］⑦：［研修室２］❼

WG8 : 「D-Case の実践」

： サザエ：［ホールＣ］⑧：［ホールＡ］❽

WG9 : 「IT 現場力の計測と活用」： マグロ：［研修室５］⑨：［研修室５］❾❿

WG10: 「システム開発文書品質」： マグロ：［研修室１Ｂ］⑩：［ホールＤ］

WG11: 「ソフトウェア品質技術」： サザエ：［ホールＤ］⑪：［ホールＢ］⓫

WG12: 「テストのイノベーション」： サザエ：［研修室３］⑫：［研修室３］⓬

ワーキンググループ 2日目（複数のワーキンググループでの議論）

2日目

WG1 : 「派生開発への取り組み」

WG12: 「テストのイノベーション」：［研修室２］WG2 : 「最新教育技術のトレンド，実践事例研究」

WG8 : 「D-Case の実践」：［研修室３］Ⓑ

WG3 : 「要求変更の要因分析」

WG11: 「ソフトウェア品質技術」：［研修室６］Ⓒ

WG4 : 「ソフトウェアと社会」

WG9 : 「IT 現場力の計測と活用」：［ホールＡ］Ⓓ：［研修室１］Ⓔ：［研修室５］Ⓕ

WG5 : 「ソフトウェア保守の全ては人生から学んだ? いや逆だ (仮)」!
!

WG7 : 「形式手法の最新技術と産業界での適用」
WG6: 「ソフトウェアエンジニアリングの遺言」

WG10: 「システム開発文書品質」

Ⓐ

会場案内

講演
論文・報告
⑤ ⑥ ⑧ ⑪ Ⓓ❶❷❸ ❽❿ ⓫受付

論文・報告（3-2,4-2）

①Ⓔ
③ⒸⒻ

Ⓑ

Ⓐ

④❹

⑨❾

⑫⓬⑦❼

Software Engineers Association
3②❺⑩❻

情報交換会の会場へのご移動について
情報交換会は19:00より「無限堂 大町本店」で行います．
18:30 までにはWGを終了して，ご移動ください．
席順については，受付時に決まったテーブル（Ⓐ〜Ⓞ）にご着席ください．

!

名札をおつけください．
＜無限堂 大町本店＞
http://www.mugendo.jp/dining/ohmachi.html※”秋田駅前店”ではなく”大町本店（大町店）”ですので，ご注意ください．
地図データ ©2014 Google, ZENRIN

200 フィート

情報交換会の席順マップ（無限堂 店内）

＜1F＞

ⒻⒽ

ⒼⒾ

厨房

Ⓙ
カウンター

小上がり

W/C

階段

正面入口

裏入口
https://www.google.com/maps/dir/

Ⓐレジ

商品台

ⒷⒸ

Ⓓ

Ⓛ

Ⓜ

,+010-0921+

−…83d957074936!2m2!1d140.1220916!2d39.7174955!3e2?hl=ja-JP

Ⓔ

＜2F＞

Ⓝ大広間

Ⓚ

階段
W/CⓄ

最新情報について
公益財団法人 秋田観光コンベンション協会さまには，SS2014の最新情報は，随時Webページに掲載いたします．

シンポジウムの開催に多大なご支援をいただいております．

公式ページの「新着情報」をご覧ください．

ご協力に感謝いたします．

http://sea.jp/ss2014/news.html

http://www.acvb.or.jp/

Software Engineers Association4

1/1 