基調講演
発表用資料
ダウンロードはこちら．概要
「ものづくり」(Material Labor) のパラダイムにもとづいて考えられてきたこれまでのソフトウェア工学の諸技法には明らかに限界がある．この小論では，近年注目を集めつつある Immaterial Labor (無形労働)の視点に立つパラダイム・シフトの必要性について述べる．プログラム概要
12月11日(木)
| 開始時刻 | 終了時刻 | 会場１ | 会場２ |
| 13:50 | 14:10 | オープニング | |
| 14:10 | 14:20 | 休憩 | |
| 14:20 | 16:20 | フルセッション１：実践ソフト開発） | |
| 16:20 | 16:40 | 休憩 | |
| 16:40 | 18:00 | ショートセッション１：OSS | ショートセッション２：プログラム解析 |
| 18:00 | 21:00 | 夕食・休憩 | |
| 21:00 | 23:00 | ナイトセッション |
12月12日(金)
| 開始時刻 | 終了時刻 | 会場１ | 会場２ |
| 9:00 | 10:30 | 基調講演 | |
| 10:30 | 10:50 | 休憩 | |
| 10:50 | 12:20 | フルセッション２：形式手法 | |
| 12:20 | 13:20 | 昼食 | |
| 13:20 | 14:20 | ショートセッション３：開発支援ツール | ショートセッション４：企画・設計 |
| 14:20 | 14:30 | 休憩 | |
| 14:30 | 15:30 | ショートセッション５：モデル検査 | ショートセッション６：プロジェクト管理 |
| 15:30 | 15:40 | 休憩 | |
| 15:40 | 16:40 | ライブ論文発表 | |
| 16:40 | 17:00 | 休憩 | |
| 17:00 | 18:00 | ポスター発表 | |
| 18:00 | 21:00 | 夕食・休憩 | |
| 21:00 | 23:00 | ナイトセッション |
12月13日(土)
| 開始時刻 | 終了時刻 | 会場１ | 会場２ |
| 9:00 | 10:00 | ショートセッション７：要件定義 | ショートセッション８：リファクタリング |
| 10:00 | 10:20 | 休憩 | |
| 10:20 | 11:50 | フルセッション３：テスト・教育 | |
| 1150 | 12:00 | 休憩 | |
| 12:00 | 12:30 | クロージング |
プログラム詳細
•フルペーパーの発表は30分，ショートペーパーは20分と予定しています（質疑応答込）．•pdf版プログラムはこちらです
12月11日
| 開始時刻 | 終了時刻 | 会場１ | 会場２ |
| 13:50 | 14:10 | オープニング 司会：花川典子（阪南大学），尾花将輝（大阪工業大学） |
|
| 14:10 | 14:20 | 休憩 | |
| フルセッション１：実践ソフト開発 座長:名倉正剛（日立製作所） |
|||
| 14:20 | 16:20 | ・幾谷 吉晴， 上野 秀剛 ソースコード中の変数と条件分岐による脳活動の差 ・大橋 亮太， 上野 秀剛， 門田 暁人， 荒木 健史， 山田 欣吾， 松本 健一 自動計測データに基づくソフトウェア開発の作業目的の推定 ・小須田 光， 亀井 靖高， 鵜林 尚靖 クラッシュレポートの送信頻度が不具合との関連付けに与える影響 ・畑 秀明， 松本 健一 なぜGitHubは人気なのか／マルチエージェントシミュレーションによる協調進化の分析 |
|
| 16:20 | 16:40 | 休憩 | |
| ショートセッション１：OSS 座長：丸山勝久(立命館大学) |
ショートセッション２：プログラム解析 座長：沢田篤史(南山大学) |
||
| 16:40 | 18:00 | ・伊原 彰紀， 亀井 靖高， 大平 雅雄， Bram Adams， 松本 健一 OSSプロジェクトにおけるコミッターの承認に対する動機の理解 ・湯月 亮平， 畑 秀明， 松本 健一 マージにおけるメソッドコンフリクト解消の実態調査 ・藤野 啓輔， 伊原 彰紀， 本田 澄， 鷲崎 弘宜， 松本 健一 OSSの不具合修正曲線に基づく未修正不具合数の予測の試み ・尾上 紗野， 畑 秀明， 門田 暁人， 松本 健一 人口ピラミッドによるOSSプロジェクト貢献者の流動性分析 |
・藤井 里沙， 天嵜聡介， 阿萬 裕久， 横川 智教 Feature Envyとコメント文の関連性に関する考察 ・長岡 武志， 田原 歩 リエンジニアリングプロセスにおける工程を考慮したソフトウェア構造解析の実践 ・福田 收真， 玉田 春昭 フックを用いた変数アクセス偽装難読化に向けて ・早瀬 康裕， 神田 哲也， 石尾 隆 コルモゴロフ複雑性に基づくプロダクト派生木復元の試み |
| 18:00 | 21:00 | 夕食・休憩 | |
| 21:00 | 23:00 | ナイトセッション |
12月12日
| 開始時刻 | 終了時刻 | 会場１ | 会場２ |
| 9:00 | 10:30 | 基調講演 司会：花川典子(阪南大学) |
|
| 10:30 | 10:50 | 休憩 | |
| フルセッション２：形式手法 座長:岡野浩三(大阪大学) |
|||
| 10:50 | 12:20 | ・今井 健男， 酒井 政裕， 萩谷 昌己 高速なMCS列挙を利用した準最弱事前条件推定の改良 ・市井 誠， 小川 秀人 モデル変換を用いたリファクタリング検証手法 ・桑原 寛明， 國枝 義敏 任意の機密度束を用いた情報流解析における非機密化プリミティブの配置 |
|
| 12:20 | 13:20 | 昼食 | |
| ショートセッション３：開発支援ツール 座長:権藤克彦(東京工業大) |
ショートセッション４：企画・設計 座長:上野秀剛(奈良高専) |
||
| 13:20 | 14:20 | ・槇原 絵里奈， 井垣 宏， 藤原 賢二， 上村 恭平， 吉田 則裕， 飯田 元 初学者向けプログラミング演習における探索的プログラミングの実態調査と支援手法の提案 ・高橋 克幸， 杉山 安洋 インクリメンタル開発のためのJavaクラスの簡易実行ツール ・西村 将広， 大久保 弘崇， 粕谷 英人， 山本 晋一郎 遅延評価関数型言語から命令型言語への変換系における対応関係を考慮したソースレベルデバッグ支援 |
・井出 昌浩， 雨谷 幸郎， 岸田 智子， 青山 幹雄， 菊島靖弘 IT駆動型ビジネスアーキテクチャのゴール指向設計方法 ・江坂 篤侍， 野呂 昌満，沢田 篤史 SOAに基づくシステムのアーキテクチャと仕様モデルの対応関係 ・横田 真人， 雨谷 幸郎， 井出 昌浩， 鷲崎 弘宜 システム企画における最適な意思決定のための重要意思決定キャンバスの提案 |
| 14:20 | 14:30 | 休憩 | |
| ショートセッション５：モデル検査 座長:青木利晃(北陸先端大) |
ショートセッション６：プロジェクト管理 座長:伊原彰紀 (奈良先端大) |
||
| 14:30 | 15:30 | ・渡辺 翠， 上田 賀一， 中島 震 制御状態の切り替えを考慮した組込みシステムモデルの協調解析 ・都丸 卓也， 清 雄一， 田原 康之， 大須賀 昭彦 非同期通信を行う Web アプリケーションによる資源競合問題に対するモデル検査による検証 ・石川 洋 ProBを用いたVDMの陰仕様の解釈実行の試み |
・藤原 新， 畑 秀明， 門田 暁人， 松本 健一 モジュール理解のためのバグレポート推薦 ・柿元 健， 矢野 博暉 Analogy手法における類似プロジェクト数決定のための指標 ・門田 暁人， Passakorn Phannachitta， 松本 健一 ソフトウェア開発データの無矛盾性の評価 |
| 15:30 | 15:40 | 休憩 | |
| 15:40 | 16:40 | ライブ論文 司会：尾花将輝（大阪工業大学） |
|
| 16:40 | 17:00 | 休憩 | |
| 17:00 | 18:00 | ポスター・デモ発表 司会：尾花将輝（大阪工業大学） |
|
| 18:00 | 21:00 | 夕食・休憩 | |
| 21:00 | 23:00 | ナイトセッション |
12月13日
| 開始時刻 | 終了時刻 | 会場１ | 会場２ |
| ショートセッション７：要件定義 座長:門田暁人(奈良先端大) |
ショートセッション８：リファクタリング 座長:杉山安洋(日本大学) |
||
| 9:00 | 10:00 | ・大森 洋一， 荒木 啓二郎， 日下部 茂， 林 信宏 異なる成熟度の仕様に対する VDM 適用効果の比較 ・野村 典文， 青山 幹雄， 菊島 靖弘 開発プロセスにおけるステークホルダマネジメント方法の提案と評価 ・山田 節夫， 田本 真詞， 斉藤 忍， 飯村 結香子， 永嶋 浩樹， 神林 友和 ソフトウェア開発におけるビジネスルール分類の考察 |
・艾 迪， 鵜林 尚靖， 李 沛源， 李 宇寧， 細合 晋太郎， 亀井 靖高 設計抽象化のためのリファクタリング支援 ・角田 雅照， 梶村 和輝， 亀井 靖高， 沢田 篤史 異なるコードクローンメトリクスを用いた欠陥モジュール予測の試み ・田島 香織， 丸山 勝久 ネスト化によるリファクタリングの連続的適用 |
| 10:00 | 10:20 | 休憩 | |
| フルセッション３：テスト・教育 座長:高田眞吾 (慶応義塾大) |
|||
| 10:20 | 11:50 | ・阿萬 裕久， 佐々木 愛美， 中野 隆司. 小笠原 秀人 テストケースの実行履歴に基づいたクラスタリングと 0-1 計画モデルを組み合わせた回帰テスト計画手法の提案 ・蜂巣 吉成， 吉田 敦， 阿草 清滋 WebIDEを用いたプログラミング演習におけるテストケース評価システムの提案 ・古畑 慶次， 上杉 卓司， 足立 久美， 青山 幹雄 高度ソフトウェア専門技術者育成のためのゴール指向に基づく教授法設計方法の提案 |
|
| 1150 | 12:00 | 休憩 | |
| 12:00 | 12:30 | クロージング 司会：花川典子（阪南大学），尾花将輝（大阪工業大学） |
ライブ論文セッション
・池谷 駿
形式仕様に基づくテスト結果の評価
・森下 雅章, 福安 直樹
Yet Another CSS Preprocessor: CSSの複雑性軽減に向けた設計手法
・利國 愛, 中川 雄一郎, 小川 秀人
処理と実行順序の類似性に基づく仕様の補完手法
・中野 隆司, 佐々木 愛美, 小笠原 秀人, 阿萬 裕久
テスト合格予測手法におけるテスト項目間の関連付の自動化の検討
・曽和 寛史, 深海 悟
ソフトウェアメトリクスを用いたソフトウェア再利用の提案
・渥美 紀寿, 桑原 寛明
変更追跡機能を用いた静的検査ツールの効果的な利用法
・眞鍋 雄貴, 東 裕之輔, 大平 雅雄
オープンソースライセンス変更によるプロジェクトへの影響評価に向けて
・紙森 翔平, 小形 真平, 海尻 賢二
モデル駆動開発におけるユーザビリティ機能の要求確認を支援するWebプロトタイプ自動生成ツール
・畔上 剛, 福田 浩章
非同期処理の実行を管理する疑似ブロックの提案
・増田 智樹, 伊賀 達人, 平山 雅之
自然言語記述された仕様書からの機能情報抽出とソースコードとの対応方法の検討
・戸田航史, 亀井靖高
Chromiumのgitリポジトリから算出可能な工数の見積もり手法の定量的評価
・増田 聡, 小野 康一
結合テストレベルにおけるExhaustive Testing適用の技術的課題の検討
・長谷川 智美, 平山 雅之, 石川敏揮
閉空間ナビゲーションシステムにおける誘導方式の決定に関する提案
・加藤 健太, 阿萬 裕久, 佐々木 隆志, 川原 稔
プログラム依存グラフにおける到達可能性に着目した凝集度メトリクスの提案
・荒木 真敬, 鹿糠 秀行
To-Be業務プロセスモデリングに向けた業務要求分析手法
・角田 雅照, 戸田 航史
ソフトウェアプロジェクト予測におけるトービットモデル適用の試み
ポスターセッション
・張 恭瑞 , 高田 眞吾
Webページにおけるデザイン要素のマイニング
・久保 綾加, 鯵坂 恒夫
語彙の体系化による仕様記述とプログラム間の関係把握
・深町 拓也, 鵜林 尚靖 , 亀井 靖高
不確かさを包容するJavaプログラミング・テスト環境
・嶌津 達也, 高田 眞吾, 丹野 治門
ミューテーションテストにおける等価ミュータント検出に関する考察
・堀 旭宏, 高田 眞吾, 丹野 治門
Webアプリケーションを対象とした回帰テストにおける実行結果の成否判定に関する考察
・石川 太一郎, 高田 眞吾, 丹野 治門
Concolic Testing の効率化に関する一考察
・子安 貴一, 権藤 克彦
データ依存関係を考慮したシーケンシャルパターンマイニングによるAPI呼び出しの支援
・大森 隆行, 丸山 勝久
ソースコード編集操作履歴の要約によるタスク理解支援
・大村 裕, 渡部 卓雄
プログラム理解のためのコードリーディング支援ツールの提案と実装
・高橋 一平, 権藤 克彦
ドラッグ＆ドロップによるWebアプリケーション生成システム
・前岡 淳, 田辺 良則, 石川 冬樹
ソフトウェアモデル検査におけるLTL検証の探索範囲限定手法による効率化
・久木田 雄亮, 柏 祐太郎, 大平 雅雄
変化点検出とトピック分析を用いたリポジトリマイニング手法の提案
・大平 雅雄 , 柏 祐太郎, 久木田 雄亮
IPA EPM-Xの機能拡張によるリポジトリマイニング支援環境
・白倉 賢人, 権藤 克彦
初心者の識別子名命名の調査
・高橋 圭一, 戒田 高康
Evaluation of a Low-Cost Gaze Tracker for Analysing Eye Movements in Reading Source Code
・趙 孜浩, 花川 典子
ミーティングログによる設計工程のメトリクスの提案と検証
・大畑 力也, 花川 典子
学生用e-ポートフォリオの分析システム開発
・梶 遊大, 北川 悦司, 芝辻 幹也, 木下 智弘
画像処理を用いたマンガのコマ自動抽出システムに関する基礎的研究
・青木 利晃, 佐藤 信, 谷 充弘 , 矢竹 健朗, 岸 知二
車載オペレーティングシステムを対象としたモデル検査とテストによる正しさの確信手法
・津田 直彦, 高田 正樹, 鷲崎 弘宜, 深澤 良彰, 杉村 俊輔, 保田 裕一朗, 二上 将直
保守性・再利用性の低いファイル予測：プロジェクトに合わせた最適化の枠組み
・岡野 浩三
JavaプログラムにおけるequalsメソッドとhashCodeメソッドについて
・中野 貴史, 阿萬 裕久, 佐々木 隆志, 川原稔
メソッドにおけるコードとコメントの共変更に関する調査
・本田 澄, 中井 秀矩, 鷲崎 弘宜, 深澤 良彰
開発者数の変動を含むソフトウェア信頼性モデルを用いた欠陥数予測
・青木 利晃，千葉 勇輝，松原 正裕，西 昌能，成沢 文雄
ISO26262における安全仕様のゴール木を用いた浅い形式化
・師 芳卓, 坂田 祐司
記号実行を用いた外部仕様自動生成ツールの開発