12月17日(月) 午前
09:00 - 17:30 |
| (1) |
09:00-09:30 |
法律や規則に適合した要求の獲得支援 |
佐伯元司（東工大）・○海谷治彦（信州大） |
| (2) |
09:30-10:00 |
アクタ関係行列を用いたiスターフレームワーク作成方法の実験評価 |
○井部己文・佐藤友合子・山本修一郎（NTTデータ） |
| (3) |
10:00-10:30 |
要望リストからの要望モデル構築 |
○宮西英彰・山田宏之・甲斐 博・阿萬裕久（愛媛大） |
| |
10:30-10:45 |
休憩 （ 15分 ） |
| (4) |
10:45-11:15 |
組合せ子の非循環性について |
○岩見宗弘（島根大） |
| (5) |
11:15-11:45 |
OTS/CafeOBJ法における証明譜からのテスト生成 |
○中村正樹（北陸先端大）・清野貴博（産総研） |
| |
11:45-13:00 |
昼食 （ 75分 ） |
| (6) |
13:00-13:30 |
メタ計算に基づくプログラム生成実験システム |
○西田好孝・赤間 清（北大）・小池英勝（札幌学院大） |
| (7) |
13:30-14:00 |
決定的抽象プログラムから低水準命令型プログラムを合成する枠組み |
○若槻俊宏・赤間 清（北大）・馬淵浩司（岩手県立大） |
| (8) |
14:00-14:30 |
プログラム生成系GeneSysにおける等式仕様への否定の導入 |
○近藤 悟・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹（名大） |
| |
14:30-14:45 |
休憩 （ 15分 ） |
| (9) |
14:45-15:15 |
コードの入れ子関係を用いたコードクローンのグループ化手法の提案 |
○神谷年洋（産総研） |
| (10) |
15:15-15:45 |
識別子の共起関係に基づく類似コード検索法の提案と欠陥検出への適用 |
○服部剛之・吉田則裕・早瀬康裕・肥後芳樹・松下 誠・楠本真二・井上克郎（阪大） |
| (11) |
15:45-16:15 |
AGMアルゴリズムを用いたギャップを含むコードクローン情報の生成 |
○肥後芳樹（阪大）・植田泰士（JAXA）・楠本真二・井上克郎（阪大） |
| |
16:15-16:30 |
休憩 （ 15分 ） |
| (12) |
16:30-17:00 |
通信ネットワークの通信経路を抽出する制約プログラムにおける構造制約のテスト手法の改善 |
○中島 一・大石晴夫・増田 健・山村哲哉（NTT） |
| (13) |
17:00-17:30 |
対話型埋込みによる数独問題の設計ツール |
○馬野洋平・酒井正彦・西田直樹・坂部俊樹・草刈圭一朗（名大） |
12月18日(火) 午前
09:00 - 12:15 |
| (14) |
09:00-09:30 |
Webアプリケーションの統合テスト環境 |
○片山朝子・上原忠弘・小高敏裕・田中ユカ・大橋恭子・山本里枝子（富士通研） |
| (15) |
09:30-10:00 |
シーケンス図を利用した組込みシステム開発のためのテストケース生成手法の提案について |
○井上 陽・片山徹郎（宮崎大） |
| (16) |
10:00-10:30 |
Webコントローラ層におけるアスペクト指向プログラミング |
○外村慶二・鵜林尚靖（九工大） |
| |
10:30-10:45 |
休憩 （ 15分 ） |
| (17) |
10:45-11:15 |
ソースコードからのファンクションポイント計測とその適用 |
○赤池輝彦・楠本真二（阪大）・英 繁雄・芝元俊久（日立システムアンドサービス） |
| (18) |
11:15-11:45 |
オブジェクト指向プログラムの実行履歴に対する機能単位での自動分割手法 |
○渡邊 結・石尾 隆・井上克郎（阪大） |
| (19) |
11:45-12:15 |
発展するeラーニングシステム |
○加藤克宜・赤間 清・中村佳祐（北大） |
: 
is
-u