日本ソフトウェア科学会 ソフトウェア工学の基礎研究会
第16回 ソフトウェア工学の基礎ワークショップ FOSE 2009 in 箱根
プログラム <10月28日版>
11月19日(木)
- [12:40-13:10] 受付
- [13:10-14:15] オープニング: FOSE のこれまでとこれから
- ソフトウェア工学研究の周辺状況も含めて
-
- FOSE設立以前の状況と初期の活動について
大西淳(立命館大学)
- ここ数年のソフトウェア工学
鰺坂恒夫(和歌山大学)
- FOSE 2009 概要
鷲崎弘宜(早稲田大学)
- FOSE の周り: EU 研究開発投資
中島震(国立情報学研究所)
- [14:15-14:25] 休憩
- [14:25-15:55] 1. 組込みソフトウェア開発手法 - 座長: 梅村晃広(NTTデータ)<フルペーパー>
-
- 組込みソフトウェアの性能解析のための実行トレースの捨象にもとづくモデリング手法
小野康一, 豊田学, 河原亮, 坂本佳史, 中田武男(日本アイ・ビー・エム株式会社), 福岡直明(京セラミタ株式会社)
- 形式手法適用の実際と教訓-「形式手法の十戒」に照らし合わせて-
栗田太郎(フェリカネットワークス株式会社), 中津川泰正(ソニー株式会社), 荒木啓二郎(九州大学)} - FeliCa ICチップ開発における仕様記述フレームワークの構築
中津川泰正, 栗田太郎(ソニー株式会社), 荒木啓二郎(九州大学)
- [15:55-16:05] 休憩
- [16:05-17:35] 2. 理論と実践 - 座長: 岡野浩三(大阪大学)<フルペーパー>
-
- リアクティブシステム仕様を実現可能にするための環境制約の抽出
萩原茂樹(東京工業大学), 北村佑介(ソニー株式会社), 島川昌也, 米崎直樹(東京工業大学)
- 型検査に基づく情報流解析における型エラースライシング
桑原寛明(立命館大学)
- ウェブ・アプリケーションに対する脆弱性検出のための文字列解析の拡張
立石孝彰(日本アイ・ビー・エム株式会社)
- [17:35-17:45] 休憩
- [17:45-18:30] ライブ論文・ポスター紹介
-
ライブ論文:
- ソースコード編集履歴を用いた開発停滞期検出
大森隆行, 丸山勝久(立命館大学)
- 識別子に対する注釈付加ツールDocumentTag
悦田翔悟, 田中昌弘, 石尾隆, 井上克郎(大阪大学)
- CoBRAに基づく見積り支援ツール
中村宏美(独立行政法人情報処理推進機構ソフトウェア・エンジニアリング・センター)
- 定量データに基づくプロジェクト診断支援ツール
森下哲成(独立行政法人情報処理推進機構ソフトウェア・エンジニアリング・センター)
- 意味解析器の自動生成系にむけて
多幡充, 桑原寛明, 國枝義敏(立命館大学)
- UMLとSimulinkのモデル変換手法の提案
吉田聡, 上田賀一(茨城大学), 中島震(国立情報学研究所)
- モデル検査によるAjaxアプリケーション検証のためのモデルの提案
玉田和洋, 中川博之(電気通信大学), 中山健(電気通信大学, 津田塾大学), 田原康之, 大須賀昭彦(電気通信大学)
- オブジェクト指向プログラムの実行履歴上のフェイズに対応する機能の推定手法の提案
渡邊結, 石尾隆, 井上克郎(大阪大学)
ポスター:
- レター論文に投稿しよう
権藤克彦(東京工業大学)
- 修正履歴を用いたデバッグ支援システムの提案
塩塚 大,鵜林 尚靖(九州工業大学)
- 実行時モニタリングによる振る舞い検査
中島震(国立情報学研究所), 今井克則(株・グラッツ), 玉井哲雄(東京大学大学院)
- 環境モデリングによるモデル検査スクリプトの自動生成
矢竹健朗(北陸先端科学技術大学院大学)
- テストカバレッジ測定フレームワーク Open Code Coverage Framework
坂本一憲, 鷲崎弘宜, 深澤良彰(早稲田大学)
- [18:30-20:00] 夕食・休憩
- [20:00-22:00] ナイトセッション(自由参加)
11月20日(金)
- [9:00-10:30] 3. 開発支援ツール - 座長: 吉田敦(南山大学)<フルペーパー>
-
- プラットフォーム学習支援のためのサンプルプログラムを用いたドキュメントの関連部分抽出
藤浦祥雅, 大久保弘崇, 粕谷英人, 山本晋一郎(愛知県立大学)
- JavaScriptソースコードリポジトリを用いた代替コード発見
蛭牟田英治(名古屋大学), 末次亮(株式会社ネットレックス), 大須賀俊憲, 小林隆志(名古屋大学), 山本晋一郎(愛知県立大学), 阿草清滋(名古屋大学)
- flexDiff:ステートメント・リスト方式のXML形式差分を出力する柔軟なプログラム差分抽出ツール
横田大樹(新日鉄ソリューションズ), 権藤克彦(東京工業大学)
- [10:30-11:00] 休憩
- [11:00-12:30] 4. 設計技法 - 座長: 磯部祥尚(産業技術総合研究所)<フルペーパー>
-
- アーキテクチャ記述をカプセル化するインタフェース機構Archface
野村潤, 鵜林尚靖(九州工業大学)
- モデル検査における妥当性確認を目的とした並行システムの表現手法
竹内亮太郎, 粕谷英人, 大久保弘崇, 山本晋一郎(愛知県立大学)
- メトリクスと機械学習によるデザインパターン検出
内山諭(早稲田大学), 久保淳人(国立情報学研究所), 鷲崎弘宜, 深澤良彰(早稲田大学)
- [12:30-13:30] 昼食・休憩
- [13:30-14:30] 5. 要求工学 - 座長: 鯵坂恒夫(和歌山大学)<フルペーパー>
-
- 差分シナリオを用いたシナリオ生成支援
牧野正之, 大西淳(立命館大学)
- プロダクトとプロセスの品質に着目した要求定義ノウハウのアセット化
北川貴之, 橋本憲幸, 位野木万里, 吉田和樹(東芝ソリューション株式会社)
- [14:30-15:00] 休憩
- [15:00-16:40] 6a. プログラム品質向上 - 座長: 滝本宗宏(東京理科大学)<ショートペーパー>
-
- 直交表を用いた単体テスト向けテストケースの効率的生成法
曽我部幸司, 阿萬裕久(愛媛大学)
- Mining Specifications to Test a C Function
Takeo Imai(Toshiba Corp.), Michael D. Ernst(University of Washington)
- アサーション動的生成のためのテストケース自動生成手法の生成アサーションの妥当性評価
宮本敬三, 堀直哉, 岡野浩三, 楠本真二, 西本哲(大阪大学)
- メソッドの自動生成を用いたOCLのJMLへの変換ツールの設計
尾鷲方志, 岡野浩三, 楠本真二(大阪大学)
- アスペクト指向ソフトウェアアーキテクチャの振る舞い検証に関する考察
張漢明,蜂巣吉成,沢田篤史,野呂昌満(南山大学)
- [15:00-16:40] 6b. 開発工数とメトリクス - 座長: 松下誠(大阪大学)<ショートペーパー>
-
- 開発者メトリクスを用いたソフトウェア信頼性の分析
まつ本真佑, 亀井靖高, 門田暁人, 松本健一(奈良先端科学技術大学院大学)
- Skill-based Staff Allocation Optimization in Software Development Projects
Tad Gonsalves, Kei Yamagishi, Ryo Kawabata, Kiyoshi Itoh (Sophia University)
- ブレンディッド開発プロセスにおける複雑さのメトリクスの提案
尾花将輝,花川典子(阪南大学)
- ソフトウェア開発工数予測における予測回避プロジェクトの選定とその効果
戸田航史, 門田暁人, 松本健一(奈良先端科学技術大学院大学)
- ソフトウェア開発工数予測における線形重回帰モデル再考
門田暁人(奈良先端科学技術大学院大学)
- [16:40-18:30] ポスターセッション
- [18:30-20:00] 夕食・休憩
- [20:00-22:00] ポスターセッション・ナイトセッション
11月21日(土)
- [9:20-11:00] 7a. 設計支援技術 - 座長: 萩原茂樹(東京工業大学)<ショートペーパー>
-
- 振る舞いを記述したモデルからのシステム再利用
上村学,川端亮,伊藤潔(上智大学)
- 設計文書に対する静的形式検査のための型システム
岩間太, 中村大賀(日本アイ・ビー・エム株式会社)
- Alloyを利用した情報制御システム記述言語の仕様検証の実用化
小飼敬(茨城工業高等専門学校), 上田賀一(茨城大学), 大久保訓, 高橋勇喜, 中野利彦(株式会社日立製作所)
- プログラム中の機密性違反を扱うセキュリティポイントカットとアドバイスの提案
伊三野直志,丸山勝久(立命館大学)
- プログラムファイルのグループ分けによるコードクローン散布状況の可視化
川口真司(奈良先端科学技術大学院大学), 波多野亮介, 福永有紀, 米光哲哉, 福地豊(株式会社日立製作所), 飯田元(奈良先端科学技術大学院大学)
- [9:20-11:00] 7b. 要求とパターン - 座長: 杉山安洋(日本大学)<ショートペーパー>
-
- 委託・受託を対象とするコミットメントネットワークを導入したドメインとインタードメインのオントロジの構成法
加藤隼也, 川端亮, 伊藤潔(上智大学)
- NFRフレームワークにおけるシステム連携向け拡張NFR型カタログの提案
矢嶋健一, 落水浩一郎(北陸先端科学技術大学院大学)
- 構造および語の類似性に基づくアナリシスパターンの自動抽出
野本悠太郎(早稲田大学), 久保淳人(国立情報学研究所), 鷲崎弘宜, 深澤良彰(早稲田大学)
- ライブラリ移行を目的とした機能の対応関係パターンとそれに基づく移行手法
藤崎洋子, 大久保弘崇, 粕谷英人, 山本晋一郎(愛知県立大学)
- アスペクト指向によるAjaxデザインパターンの適用
江口和樹(早稲田大学), 久保淳人(国立情報学研究所), 鷲崎弘宜, 深澤良彰(早稲田大学)
- [11:00-11:20] 休憩
- [11:20-] クロージング
-
- FOSE 今後に向けて(仮)
権藤克彦(東京工業大学)