8月5日(木) 午前 10:30 - 12:00 |
(1) |
10:30-11:00 |
ソフトウェア開発組織のプロセス特性とソフトウェア品質との因果関係の定量的な推定法 |
○板橋吉徳(パナソニック/北陸先端大)・落水浩一郎(北陸先端大) |
(2) |
11:00-11:30 |
パターンに基づくコーディングルール構成手法の提案 |
○長谷川 勇(野村総研) |
(3) |
11:30-12:00 |
ユーザ満足度を損ねずに省エネルギーを目指す要求適正化手法 ~ 開発コストを考慮した省エネルギー仕様選択 ~ |
○中里 竜・安東孝信・深谷哲司(東芝) |
|
12:00-13:15 |
昼食 ( 75分 ) |
8月5日(木) 午後 13:15 - 14:45 |
(4) |
13:15-13:45 |
デバッギングのための関心事指向推薦システム |
○塩塚 大(九工大)・鵜林尚靖(九大) |
(5) |
13:45-14:15 |
プログラム依存グラフの一貫性検査に基づく欠陥検出手法の提案 |
○山田吾郎(阪大)・吉田則裕(奈良先端大)・井上克郎(阪大) |
(6) |
14:15-14:45 |
モバイルFeliCa ICチップ開発におけるSPINを用いたモデル検査による品質確保 |
○只野賢二・栗田太郎(フェリカネットワークス) |
|
14:45-15:00 |
休憩 ( 15分 ) |
8月5日(木) 午後 15:00 - 16:30 |
(7) |
15:00-15:30 |
実時間システムを対象としたCEGARによる抽象洗練の並列化手法 |
○田中俊彰・長岡武志・岡野浩三・楠本真二(阪大) |
(8) |
15:30-16:00 |
Event-Bで書かれたシステム要求仕様の妥当性検査 |
○中島 震(NII) |
(9) |
16:00-16:30 |
Argument Filterings and Usable Rules in Higher-Order Rewrite Systems |
○Sho Suzuki・Keiichirou Kusakari(Nagoya Univ.)・Frederic Blanqui(INRIA) |
8月6日(金) 午前 10:00 - 11:30 |
(10) |
10:00-10:30 |
OCLのJMLへの変換ツールの実装 |
○宮澤清介・岡野浩三・楠本真二(阪大) |
(11) |
10:30-11:00 |
バージョン管理システムのリポジトリを対象とするコード検索ツールの試作 |
○神谷年洋(公立はこだて未来大) |
(12) |
11:00-11:30 |
コメント文によるプログラム中に出現する名詞の説明文生成 |
○藤木哲也(阪大)・早瀬康裕(東洋大)・井上克郎(阪大) |