掲載論文一覧
5
0
0
全文
(2) ソフトウェアエンジニアリングシンポジウム 2014 IPSJ/SIGSE Software Engineering Symposium (SES2014). 研究論文・実践論文 ※ † は実践論文，∗ はショート論文であることを表す．. ソフトウェア工学の実践 業務プロセスのパターン化による大規模業務システム開発の効率化とその評価 † . . . . . . . . . . . . . . . . . . . . . . . .. 9. 岡村 美和（富士通／南山大学），菊島 靖弘，青山 幹雄（南山大学） 高度ソフトウェア専門技術者育成のためのカリキュラム開発方法論の提案と評価 † . . . . . . . . . . . . . . . . . . . . . . 15 古畑 慶次（デンソー技研センター／南山大学），上杉 卓司（デンソー技研センター）， 足立 久美（デンソー），青山 幹雄（南山大学） 統合工数見積りツール ESTIMANCER の開発 † . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 伏田 享平，井ノ口 伸人，大杉 直樹，山中 啓之，藤貫 美佐，戸村 元久，木谷 強（NTT データ）. 形式仕様 人工衛星のソフトウェア IV&V における D-Case を利用した短期間でのフォーマルメソッド適用 ∗ . . . . . . . 27 大森 洋一，日下部 茂，林 信宏，荒木 啓二郎（九州大学），神戸 大輔，寺西 誠，川口 真司， 梅田 浩貴（宇宙航空研究開発機構） モデル指向形式仕様記述におけるハザード解析法 STAMP/STPA の活用 ∗ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 畑 彰拓，日下部 茂，林 信宏，大森 洋一，荒木 啓二郎（九州大学） 形式仕様を用いたデシジョンテーブル生成手法の提案 ∗ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 西川 拳太，片山 徹郎（宮崎大学），喜多 義弘（神奈川工科大学），山場 久昭，岡崎 直宣（宮崎大学）. 要求 洗練パターンによるゴール指向ユースケースモデリング ∗ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 本田 耕三（電気通信大学），中川 博之（大阪大学），田原 康之，大須賀 昭彦（電気通信大学） コンテキストを活用したモバイルアプリケーション開発の要求定義を支援するパターンと適用手法 †,∗ . . . . 51 大橋 恭子，栗原 英俊，中里 克久，山本 里枝子（富士通研究所）. 形式手法 Scala の並行プログラム検査における状態空間探索手法 ∗ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 島田 工，前澤 悠太（東京大学），鄭 顕志，田辺 良則（国立情報学研究所）， 本位田 真一（東京大学／国立情報学研究所）. c 2014 Information Processing Society of Japan ⃝. iii.
(3) ソフトウェアエンジニアリングシンポジウム 2014 IPSJ/SIGSE Software Engineering Symposium (SES2014). MVC Web アプリケーションの機能縮退を考慮した振舞い検証 ∗ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 澤野 宏貴（日立製作所），前澤 悠太（東京大学），高橋 竜一（早稲田大学）， 本位田 真一（東京大学／国立情報学研究所）. リポジトリ解析 大規模 OSS 開発における不具合修正時間の短縮化を目的としたバグトリアージ手法 . . . . . . . . . . . . . . . . . . . . 66 柏 祐太郎，大平 雅雄（和歌山大学），阿萬 裕久（愛媛大学），亀井 靖高（九州大学） 編集操作履歴の階層的なグループ化を用いたポリシー準拠のコミットの構成支援 . . . . . . . . . . . . . . . . . . . . . . . 76 松田 淳平，林 晋平，佐伯 元司（東京工業大学） 修正履歴情報を利用したコミット分割支援手法の提案 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85 切貫 弘之，堀田 圭佑，肥後 芳樹，楠本 真二（大阪大学）. テスト・レビュー・見積もり ビジネスコンテキストのモデル化によるテストシナリオ設計方法論とその評価 . . . . . . . . . . . . . . . . . . . . . . . . . 95 野村 典文（伊藤忠テクノソリューションズ／南山大学），菊島 靖弘，青山 幹雄（南山大学）. RISDM：ソフトウェア要求仕様書のインスペクションデザイン方法論の提案と適用評価 . . . . . . . . . . . . . . . . 105 斎藤 忍（NTT データ／日本電信電話），竹内 睦貴（NTT データ），山田 節夫（日本電信電話）， 青山 幹雄 (南山大学） システム基盤構築工数見積もりモデルの継続的改善と普及展開 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115 井ノ口 伸人，大杉 直樹，伏田 享平，渡辺 絢子，吉野 順，藤貫 美佐，渡辺 真太郎，戸村 元久， 木谷 強（NTT データ）. デバッグ・メトリクス Java プログラム実行時のデータ遷移可視化によるデバッグ支援 ∗ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125 中村 紘人，片山 徹郎（宮崎大学），喜多 義弘（神奈川工科大学），山場 久昭，岡崎 直宣（宮崎大学） 故障モジュール中の欠陥メソッド特定 ∗ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131 畑 秀明，門田 暁人，松本 健一（奈良先端科学技術大学院大学） ソフトウェアメトリクスアプローチに基づくコンピュータシステムのインフラストラクチャ品質の検証 ∗ . 137 尾花 将輝（大阪工業大学），花川 典子（阪南大学）. CMS を合理的に選択するためのソフトウェア特性指標の策定 †,∗ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143 粂野 文洋（日本工業大学），小濱 裕太（日立システムズ），新井 紀子（国立情報学研究所）. c 2014 Information Processing Society of Japan ⃝. iv.
(4) ソフトウェアエンジニアリングシンポジウム 2014 IPSJ/SIGSE Software Engineering Symposium (SES2014). モデリング モデル駆動開発におけるユーザビリティ機能を実装した Web プロトタイプの自動生成 ∗ . . . . . . . . . . . . . . . . . 146 紙森 翔平，小形 真平，海尻 賢二（信州大学） 近似的モデリングアーキテクチャに関する考察 ∗ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152 岸 知二，川嶋 優樹（早稲田大学），野田 夏子（芝浦工業大学）. 保守・テスト 記号実行エンジンを用いた JavaScript プログラムの単体テスト自動生成実行 ∗ . . . . . . . . . . . . . . . . . . . . . . . . . 158 谷田 英生（富士通研究所），Guodong Li，Indradeep Ghosh（米国富士通研究所）， 上原 忠弘（富士通研究所） 制御構造を考慮したソースコードコーパスに基づくメソッド呼び出し文補完手法 ∗ . . . . . . . . . . . . . . . . . . . . . . 164 山本 哲男（日本大学） 機械学習を用いたメソッド抽出リファクタリングの推薦手法 ∗ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 170 後藤 祥（大阪大学） ，吉田 則裕（名古屋大学） ，藤原 賢二（奈良先端科学技術大学院大学），崔 恩瀞， 井上 克郎（大阪大学） 実装技術特定を目指したプログラムコード実装と説明的文書との対応付け調査 ∗ . . . . . . . . . . . . . . . . . . . . . . . . 176 山下 大貴，竹内 和広（大阪電気通信大学）. ポスター論文 PBL 向けソフトウェアプロセス展開パッケージ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 182 半田 剣一，錦見 美貴子，佐藤 豊，高橋 直人（産業技術総合研究所） 学生の演習課題とオープンソースソフトウェアのコード品質比較の試行 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 184 阿部 修也，氏原 直哉，酒井 亮太郎，幸 佑亮，石尾 隆，井上 克郎（大阪大学） オープンソース開発における同一人物によるコード修正と修正間隔に関する定量的調査 . . . . . . . . . . . . . . . . . 186 尾田 祐之介，阿萬 裕久，川原 稔（愛媛大学）. T-複雑度によるソースコード中の類似文字列の検出評価 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 188 高橋 圭一，戒田 高康（近畿大学） ドメイン特化型ゴール指向要求分析 ∼交差点における交通事故防止のための要求抽出の試み∼ . . . . . . . . . . 190 可児 佑介（デンソーアイティーラボラトリ），位野木 万里（工学院大学） ユースケース記述の規則への整合性検査に向けて . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 192 中村 遼太郎，林 晋平，佐伯 元司（東京工業大学）. c 2014 Information Processing Society of Japan ⃝. v.
(5) ソフトウェアエンジニアリングシンポジウム 2014 IPSJ/SIGSE Software Engineering Symposium (SES2014). WordNet および Wikipedia と連携するソースコード上の関連語マイニングツール . . . . . . . . . . . . . . . . . . . . . 194 山下 大貴，竹内 和広（大阪電気通信大学） ソフトウェア構築ログ解析器を用いたソースプログラム解析 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 196 永井 郁哉，大久保 弘崇，粕谷 英人，山本 晋一郎（愛知県立大学） バグ修正情報の解析と解析結果表示方法の提案 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 198 増田 智樹，平山 雅之（日本大学），菊地 奈穂美（沖電気工業）. Categorizing Code Review Result with Social Networks Analysis: A Case Study on Three OSS Projects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 200 Xin Yang (Nara Institute of Science and Technology), Norihiro Yoshida (Nagoya University), Kenji Fujiwara, Yong Jin, and Hajimu Iida (Nara Institute of Science and Technology) ソフトウェア開発の定量的分析における傾向スコアの活用 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 202 角田 雅照（近畿大学），天嵜 聡介（岡山県立大学） ゴール指向とプロブレムフレームの融合 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204 伊藤 翔一朗，林 晋平，佐伯 元司（東京工業大学） システム利用シナリオからのセキュリティ脅威の検出と対策シナリオの導出に向けて . . . . . . . . . . . . . . . . . . . 206 阿部 達也，林 晋平，佐伯 元司（東京工業大学） スマートフォン向けアプリケーション設計による モデル駆動開発手法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 208 松井 浩司，松浦 佐江子（芝浦工業大学） ソースコード編集履歴の不吉な臭いの検出に向けて . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 210 星野 大樹，林 晋平，佐伯 元司（東京工業大学） モデル検査を利用した仕様とソースコード間におけるシステムの振舞いの不一致発見 . . . . . . . . . . . . . . . . . . . 212 青木 善貴（日本ユニシス／芝浦工業大学），松浦 佐江子（芝浦工業大学）. ワークショップ ソフトウェア開発リポジトリの共有と発展 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 214 眞鍋 雄貴（熊本大学） 形式手法 – 産学連携における問題とその解決 – . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 215 横川 智教（岡山県立大学），早水 公二（フォーマルテック） セキュリティの共通問題と，セキュアな開発手法とその評価 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 216 大久保 隆夫（情報セキュリティ大学院大学），吉岡 信和（国立情報学研究所／総合研究院大学院大学） モデル駆動で開発しよう —実適用における課題と先端技術 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 217 野田 夏子（芝浦工業大学），細合 晋太郎（九州大学）. c 2014 Information Processing Society of Japan ⃝. vi.
(6)
関連したドキュメント
鈴木 則宏 慶應義塾大学医学部内科（神経） 教授 祖父江 元 名古屋大学大学院神経内科学 教授 高橋 良輔 京都大学大学院臨床神経学 教授 辻 省次 東京大学大学院神経内科学
東北大学大学院医学系研究科の運動学分野門間陽樹講師、早稲田大学の川上
[r]
[r]
[r]
向井 康夫 ： 東北大学大学院 生命科学研究科 助教 牧野 渡 ： 東北大学大学院 生命科学研究科 助教 占部 城太郎 ：
本研究科は、本学の基本理念のもとに高度な言語コミュニケーション能力を備え、建学
本研究科は、本学の基本理念のもとに高度な言語コミュニケーション能力を備え、建学
