11/26(木曜) 11/27(金曜) 1

FOSE2015 プログラム (暫定版)
11/26(木曜)
14:00-16:00 フルペーパーセッション 1: [プログラム解析]
○竹之内啓太，石尾隆，井上克郎 (大阪大学): 変数の型を考慮したメソッド間の実行経路の検索
○大村悠太，権藤克彦 (東京工業大学)，立石孝彰 (日本 IBM): プログラム変換ルールを用いたプログラム自
動要約フレームワークの構築
○小野寺駿一，名倉正剛，杉山安洋 (日本大学): 動的情報に基づくソフトウェア縮退実行機構の提案
16:30-17:45 ショートペーパーセッション 1A: [開発プロセス]
○尾上紗野，畑秀明，松本健一 (奈良先端科学技術大学院大学): 原型分析による活動履歴からの OSS 貢献者
プロファイリング
○深町拓也，鵜林尚靖，細合晋太郎，亀井靖高 (九州大学): 不確かさを包容するソフトウェア開発プロセス
○齋藤尊, 新美礼彦, 伊藤恵 (公立はこだて未来大学): 利用する過去情報の選定による PBL 向け工数見積り
支援ツールの精度改善
17:45-18:05: ライブ論文 CM1A:
○尾崎愛，青山幹雄 (南山大学): UX 設計のためのユーザインサイト獲得方法の提案
○内海太祐，青山幹雄 (南山大学): 複数コンテキストドメインにまたがる Linked Data を用いたコンテキ
ストアウェアサービス提供方法の提案
○川合怜，松浦佐江子 (芝浦工業大学): インタラクティブロボットの UML 要求仕様と実装
○徳田祥子，村田龍，平山雅之 (日本大学): 答案自動振り分けにおけるセンサ選定手法の提案
16:30-17:45 ショートペーパーセッション 1B: [テスト]
○池田逸人，劉少英，Ye Yan(法政大学): 形式仕様に基づくテストケースの自動生成支援ツールの開発
○前田芳晴，佐々木裕介，上原忠弘 (富士通研究所)，平敬造 (富士通ミッションクリティカルシステムズ)，
山口和紀 (富士通アプリケーションズ): 業務システム向けの分岐網羅テストケースの生成手法
○増田聡 (日本 IBM)，松尾谷徹，津田和彦 (筑波大学): テストケース作成自動化のための意味役割付与方法
17:45-18:05: ライブ論文 CM1B:
○阿萬裕久 (愛媛大学)，中野隆司，小笠原秀人 (東芝): テスト実行者情報を考慮した 0-1 計画モデルによる
効率的なテストケース選択手法の提案
○堀旭宏，高田眞吾 (慶應義塾大学)，倉林利行，丹野治門 (NTT): Web アプリケーションに対する回帰テス
トオラクル自動生成
○鹿糠秀行、中井陽一、園田貴大、斎藤岳 (日立製作所): ユースケース記述に基づくモックアップを利用し
たテストシナリオ生成ツール
○青木善貴，細金万智子 (日本ユニシス): モデル検査によるドローンの安全確認
11/27(金曜)
8:45-10:05 フルペーパーセッション 2: [合成とテスト]
1
○冨田尭 (北陸先端科学技術大学院大学)，上野篤史 (任天堂)，萩原茂樹，島川昌也 (東京工業大学)，米崎直
樹 (放送大学): 可能な限り仕様を満たすリアクティブシステムの合成
○岩間太，福田隆 (日本 IBM): 音声認識システムの語彙列受理可能性テスト自動化
10:30-12:10 ショートペーパーセッション 2A:[開発手法]
○岸知二 (早稲田大学)，野田夏子 (芝浦工業大学): SPL における近似的製品導出に関する一考察
○蜂巣吉成，吉田敦，阿草清滋 (南山大学): 命令型プログラミング言語における初学者向け動作理解支援ツー
ルの提案
○京谷和明，伊藤恵 (公立はこだて未来大学): Web アプリケーションフレームワーク用のコード生成ツール
によるプロトタイプ開発支援
○藤本玲子，原起知，青山幹雄 (南山大学): データ駆動要求工学 D2RE の提案
12:10-12:25 ライブ論文 CM2A
○豊田丈晃，青山幹雄 (南山大学): 適応型コンテキストモデル生成方法の提案と評価
スマートフォンアプリケーション設計に特化した UML 及び GUI ビルダによる相互的なモデリング手法
○石原一輝，平山雅之，山崎和人 (日本大学): 自転車事故防止システム開発におけるセンサデータの表示方
法の検討
10:30-12:10 ショートペーパーセッション 2B:[検証]
○小山恭平，伊藤信治，山本一道 (日立製作所): 大規模システム向け仕様ルール整合性検証方式
松本佑真，笠井翔太，○大西淳 (立命館大学): 拡張要求フレームモデルによる応答性に関する要求の検証
○中島啓貴，青山幹雄，成田貴大，脇田宏威 (南山大学): RDF 文書の検証定義と検証方法の提案
○藤平達，三坂智，茂岡知彦 (日立製作所): SMT に基づくシステム部品組合せ設計検証手法
12:10-12:25 ライブ論文 CM2B
○大村裕，渡部卓雄 (東京工業大学): Code: Code Oriented Diagram Editor
○武田真弥，山田俊之 (三重大学): Java の参照型変数と配列の静的 null 検出
○幾谷吉晴，上野秀剛 (奈良工業高等専門学校)，中川尊雄 (奈良先端科学技術大学院大学): 脳波計測を用い
たプログラム理解タスクの判別
14:00-15:30 招待講演
飯田弘之 (北陸先端科学技術大学院大学):ゲームとエンターテインメント
-名人を創り，名人の知を理解する16:00-17:00 ライブ論文発表
17:10-18:10 ポスター・デモ発表
16:30-17:30 ライブ論文スペシャルトラック「無形労働としてのソフトウェア開発」
○伊藤昌夫 (ニルソフトウェア/VCAD ソリューションズ): ソフトウェア技術者の「たらい」
2
○中島震 (国立情報学研究所)，豊島真澄 (デンソー): 第 3 次経済革命を支えるソフトウェアの工学
○佐藤啓太 (デンソー): サービス研究から見る無形労働
○杉山安洋 (日本大学): 無形労働としてのソフトウェア開発に関する一考察
11/28(土曜)
8:45-10:25 ショートペーパーセッション 3A:[形式手法]
○小飼敬 (茨城工業高等専門学校)，宮島卓巳 (日立産業制御ソリューションズ)，上田賀一 (茨城大学)，山形
知行，武澤隆之 (日立製作所): 段階的検査法にモジュラ化手法を用いたモデル検査の実用化
○桑原寛明，國枝義敏 (立命館大学): 情報量に基づく非機密化プリミティブの記述位置候補の順位付け
○林信宏，大森洋一，日下部茂，荒木啓二郎 (九州大学): 自然言語ドキュメントの形式化モデリングについて
○大森洋一，林信宏，荒木啓二郎，日下部茂 (九州大学): VDM++ 要求仕様に対する網羅的テストによるスレッ
ド安全性の確認
8:45-10:25 ショートペーパーセッション 3B:[教育]
宮島和音，○小形真平，香山瑞恵，岡野浩三 (信州大学): UML モデリング教育を支援するルールベースのク
ラス図採点支援ツール
○花川典子 (阪南大学)，尾花将輝 (大阪工業大学): 個人商店向け業務アプリ開発と運用によるソフトウェア
工学教育の実践
○中才恵太朗，角田雅照 (近畿大学): ソフトウェア開発における Web 検索行動の分析
○土肥拓生 (レベルファイブ/電気通信大学/国立情報学研究所)，石川冬樹 (国立情報学研究所/電気通信大
学): インタラクションに注目したアジャイル開発における設計スキルの育成手法
10:50-12:10 フルペーパーセッション 3 [行動分析]
熊謙，○小林隆志 (東京工業大学): ワークフローマイニングに基づく潜在的因果関係を考慮した変更推薦モ
デルの構築
○北川愼人，畑秀明，伊原彰紀 (奈良先端科学技術大学院大学)，小木曽公尚 (電気通信大学)，松本健一 (奈
良先端科学技術大学院大学): コードレビューのジレンマ／スノードリフトゲームによる協調行動の分析
注 1) ○は発表者．
注 2) フルペーパーは 40 分 (発表:30 分，質疑応答:10 分)．
注 3) ショートペーパーは 25 分 (発表 20 分，質疑応答:5 分)
注 4) ライブ論文はポスター形式で発表予定ですが，セッションの合間に紹介する
時間を設けました．プログラム中では「ライブ論文 CM」となっています．各発表 5
分で，ライブ論文の紹介のみで，質疑応答なしです．
注 5) ライブ論文スペシャルトラック「無形労働としてのソフトウェア開発」はパネ
ル形式で発表を行います．
3

Download Report