7月22日(水) 午後 13:30 - 15:30 |
(1) |
13:30-14:00 |
To-Be業務プロセスモデルの導出に向けた業務要求分析手法の提案
荒木 真敬((株)日立製作所 研究開発グループ システムイノベーションセンタ)・鹿糠 秀行((株)日立製作所 研究開発グループ システムイノベーションセンタ) |
(2) |
14:00-14:30 |
UMLによるディオンティックトークンに基づいたODPエンタープライズ言語の表現
宮崎 比呂志(富士通) |
(3) |
14:30-15:00 |
商用 Android ソフトウェア開発環境におけるコードレビュー統計の実証的研究
島垣 潤二(ソニーモバイルコミュニケーションズ(株))・亀井 靖高(九州大学)・鵜林 尚靖(九州大学) |
(4) |
15:00-15:30 |
システム分類と品質特性の関係について
中島 毅(芝浦工業大学)・中山 優紀(日立ソリューションズ)・谷津 行穗(ベルリッツ・ジャパン)・東 基衞(早稲田大学) |
|
15:30-15:40 |
休憩 ( 10分 ) |
7月22日(水) 午後 15:40 - 17:40 |
(5) SS |
15:40-16:10 |
Toward Prioritizing Code Smell Detection Results for Prefactoring |
○Natthawute Sae-Lim・Shinpei Hayashi・Motoshi Saeki(Tokyo Tech.) |
(6) SS |
16:10-16:40 |
設計書に基づくWebアプリのシナリオテスト向けテスト項目抽出手法 |
○張 暁晶・丹野治門(NTT) |
(7) SS |
16:40-17:10 |
分散型版管理リポジトリでの作業履歴記録ツールの試作 |
○松田淳平・林 晋平・佐伯元司(東工大) |
(8) SS |
17:10-17:40 |
ソースコード変更時の影響波及解析を目的とした表現法と影響の可視化法の提案 |
○大久保建男(岩手県立大)・福原和哉(i-MOS)・晴澤陽太・猪股俊光・新井義和・今井信太郎(岩手県立大) |
7月23日(木) 午前 09:30 - 10:30 |
(9) SS |
09:30-10:00 |
依存関係に基づく括出し法 |
○那須孝志・滝本宗宏(東京理科大) |
(10) SS |
10:00-10:30 |
適用保護手法の特定の試み ~ 不自然さ評価方法を用いて ~ |
○匂坂勇仁・玉田春昭(京都産大) |
|
10:30-10:40 |
休憩 ( 10分 ) |
7月23日(木) 午前 10:40 - 12:10 |
(11) KBSE |
10:40-11:10 |
セキュリティ,プライバシー向け共通問題EMSsecの提案 |
○大久保隆夫(情報セキュリティ大)・海谷治彦(神奈川大)・鷲崎弘宣(早大)・小形真平(信州大)・柿崎淑郎(東京電機大)・櫨山淳雄(学芸大)・吉岡信和(NII) |
(12) KBSE |
11:10-11:40 |
IoTセンサーのデータを使ったリアルタイム避難計画立案の構想 |
○飯島 正(慶大) |
(13) KBSE |
11:40-12:10 |
要求仕様における関心事の分離によるモデル駆動開発手法 |
○川合 怜・松浦佐江子(芝浦工大) |
|
12:10-13:10 |
昼食 ( 60分 ) |
7月23日(木) 午後 13:10 - 15:10 |
(14) |
13:10-13:40 |
第37回ソフトウェア工学国際会議ICSE2015参加報告
深町 拓也(九州大学)・亀井 靖高(九州大学)・鵜林 尚靖(九州大学)・花川 典子(阪南大学)・青山 幹雄(南山大学) |
(15) |
13:40-14:10 |
不確かさを包容した開発プロセスとその支援環境iArch-U
深町 拓也(九州大学)・鵜林 尚靖(九州大学)・細合 晋太郎(九州大学)・亀井 靖高(九州大学) |
(16) |
14:10-14:40 |
ソフトウェア設計ドキュメントを利用したテスト実行スクリプト生成技術の提案と評価
丹野 治門(日本電信電話株式会社)・張 暁晶(日本電信電話株式会社) |
(17) |
14:40-15:10 |
ソフトウェアの故障木解析手法の研究
高橋 正和(山梨大学) |
|
15:10-15:20 |
休憩 ( 10分 ) |
7月23日(木) 午後 15:20 - 17:20 |
(18) SS |
15:20-15:50 |
ビッグデータとクラウドを想定したフォールトデータクラスタリングに基づくソフトウェア信頼性評価法 |
○田村慶信(山口大)・信川ゆみ・山田 茂(鳥取大) |
(19) SS |
15:50-16:20 |
オープンソース開発における開発者ごとでのコメント記述の傾向に関する調査 |
○中野貴史・佐々木隆志・川原 稔・阿萬裕久(愛媛大) |
(20) SS |
16:20-16:50 |
自動バグ修正における対応可能バグ数の拡充に向けて ~ 大規模データセットを用いるアプローチのフィージビリティ調査 ~ |
○鷲見創一・肥後芳樹・楠本真二(阪大) |
(21) SS |
16:50-17:20 |
データバインディングを利用したRIA UI設計のモデル検査 |
○岩塚卓弥・大島剛志・榎本俊文(NTT) |
7月24日(金) 午前 09:00 - 10:30 |
(22) KBSE |
09:00-09:30 |
Atelier-Bによる形式検証手法の試行評価 |
○山本椋太・山本修一郎(名大) |
(23) KBSE |
09:30-10:00 |
UMLモデリング教育を支援するルールベースのクラス図採点支援ツール |
○宮島和音・小形真平・香山瑞恵・岡野浩三(信州大) |
(24) SS |
10:00-10:30 |
融合ゴール指向要求分析法におけるメトリクスを用いたAs-Isモデルの問題点発見手法 |
○伊藤翔一朗・林 晋平・佐伯元司(東工大) |
|
10:30-10:40 |
休憩 ( 10分 ) |
7月24日(金) 午前 10:40 - 12:10 |
(25) SS |
10:40-11:10 |
AlloyとEvent-Bを用いる2段階モデリング手法 |
○中島 震(NII) |
(26) SS |
11:10-11:40 |
パターン除去による制約付き項書換え系の等価変換 |
○長尾貴浩・西田直樹・酒井正彦(名大) |
(27) SS |
11:40-12:10 |
SPINを用いたVDM仕様に対するモデル検査適用手法 |
○林 信宏・大森洋一・日下部 茂・荒木啓二郎(九大) |