8月4日(木) 午後
13:00 - 18:00 |
| (1) |
13:00-13:30 |
シナリオのアニメーション表示による妥当性確認支援 |
○首藤寛樹・大西 淳（立命館大） |
| (2) |
13:30-14:00 |
プライオリティ概念のあるステートダイアグラムのモデル検査 |
○中島 震（NII） |
| (3) |
14:00-14:30 |
Decidability of Termination for Semi-Constructor Term Rewriting Systems |
○Yi Wang・Masahiko Sakai・Naoki Nishida・Keiichirou Kusakari・Toshiki Sakabe（Nagoya Univ.） |
| |
14:30-14:45 |
休憩 （ 15分 ） |
| (4) |
14:45-15:15 |
Webサービスにおけるオブジェクト送受のためのコード自動生成 |
○上野平和義・満田成紀・福安直樹・鯵坂恒夫（和歌山大） |
| (5) |
15:15-15:45 |
セマンティック・ウェブ技術を応用したユーザ嗜好インタフェースの実現 |
○柳田拓人・野中秀俊・栗原正仁（北大） |
| (6) |
15:45-16:15 |
機能量測定法を利用した不適切箇所の摘出による分析モデルの改善 |
○長野伸一（NTT）・鰺坂恒夫（和歌山大） |
| |
16:15-16:30 |
休憩 （ 15分 ） |
| (7) |
16:30-17:00 |
コードクローン分析ツールGeminiを用いたコードクローン分析手法 |
○肥後芳樹・楠本真二・井上克郎（阪大） |
| (8) |
17:00-17:30 |
版管理システムを用いたコードクローン履歴分析 |
○川口真司・松下 誠・井上克郎（阪大） |
| (9) |
17:30-18:00 |
履修管理システムにおけるアカウンタビリティおよび進化容易性を実現するソフトウェアアーキテクチャ |
○早坂 良・藤枝和宏・落水浩一郎（北陸先端大） |
8月5日(金) 午前
09:00 - 12:45 |
| (10) |
09:00-09:30 |
模式図手法を用いたIT教育支援法 |
○原田明幸・浜名隆広・佐藤匡正（島根大） |
| (11) |
09:30-10:00 |
Agent-Flowにおける論理演算網自動生成手法の提案 |
○水谷晃三・池本 悟・赤羽根隆広（帝京大）・山口大輔・永井正武（神奈川大） |
| (12) |
10:00-10:30 |
コンポーネント指向Webアプリケーションフレームワークにおけるモジュール性の向上のための一手法 |
○荻野 慶（早大）・小野康一（日本IBM）・深澤良彰（早大） |
| |
10:30-10:45 |
休憩 （ 15分 ） |
| (13) |
10:45-11:15 |
組込みシステムにおける動作条件分析手法の提案 |
○鷲見 毅・平山雅之（東芝）・鵜林尚靖（九工大） |
| (14) |
11:15-11:45 |
コンポーネントランクを用いたソフトウェアのクラス設計に関する分析手法の提案 |
市井 誠（阪大）・○横森励士（南山大）・松下 誠・井上克郎（阪大） |
| (15) |
11:45-12:15 |
Planning an Automated Aspect Mining Tool |
○Simone Livieri・Takashi Ishio・Shinji Kusumoto・Katsuro Inoue（Osaka Univ.） |
| (16) |
12:15-12:45 |
協調フィルタリングを用いたプロジェクトコスト超過の予測 |
○本村拓也・柿元 健・角田雅照・大杉直樹・門田暁人・松本健一（奈良先端大） |
: 
n
w
