11月25日(木) 午後
13:00 - 15:00 |
| (1) |
13:00-13:30 |
オートマトンモデルに基づいたディジタルロジックの仕様化と検証 |
○山中一宏・和泉 諭・加藤 靖・高橋 薫（仙台電波高専） |
| (2) |
13:30-14:00 |
UMLの複数のダイアグラムを用いたJavaプログラムのテスト手法に関する一考察 |
○藪谷悠介・下村希世人・片山徹郎（宮崎大） |
| (3) |
14:00-14:30 |
事前・事後条件を用いた、ルールによるシナリオ検証 |
○外山竜也・大西 淳（立命館大） |
| (4) |
14:30-15:00 |
正常シナリオからの代替・例外シナリオ作成支援 |
○北本幸司・糸賀裕弥・大西 淳（立命館大） |
| |
15:00-15:30 |
休憩 （ 30分 ） |
11月25日(木) 午後
15:30 - 17:30 |
| (5) |
15:30-16:00 |
Web上の表形式類似データの統合技法 |
○吉村千秋（山梨大/山梨県富士工技センター）・渡辺喜道（山梨大） |
| (6) |
16:00-16:30 |
タクソノミの改訂に対応したXBRL文書の再構築手法 |
○八畑陽平・渡辺喜道（山梨大） |
| (7) |
16:30-17:00 |
変数更新の回数と分散に基づくプログラムのメンタルシミュレーションコスト評価 |
○石黒誉久・井垣 宏・中村匡秀・門田暁人・松本健一（奈良先端大） |
| (8) |
17:00-17:30 |
融合変換を模倣するプログラム生成変換の戦略 |
○長島正憲・酒井正彦・西田直樹・坂部俊樹・草刈圭一朗（名大） |
11月26日(金) 午前
09:30 - 12:00 |
| (9) |
09:30-10:00 |
ソフトウェアの自己変更を支援する機構について |
○渡邉勝正・井上晶広・山田洋平・中西正樹・山下 茂（奈良先端大） |
| (10) |
10:00-10:30 |
スキーマをもとに属性文法を生成し XML 変換を行う手法について |
○萩原威志・飯岡将利（新潟大） |
| (11) |
10:30-11:00 |
複数の手法を用いたソフトウェア開発プロジェクトの混乱予測 ～ 手法間での精度比較実験 ～ |
○工藤公太・水野 修・菊野 亨（阪大） |
| (12) |
11:00-11:30 |
状態マシンに基づくWebアプリケーションのモデル化 |
○大崎雅代・寺岡照彦・中田秀男（三菱電機） |
| (13) |
11:30-12:00 |
柔軟なアクセス制御と権限の委譲が可能な大規模分散ファイルシステム |
○小日向弘好（山梨大） |
| |
12:00-13:00 |
昼食 （ 60分 ） |
11月26日(金) 午後
13:00 - 15:00 |
| (14) |
13:00-13:30 |
バウンディングボリュームを用いた衝突検出の高速化に関する研究 |
○池ヶ谷和博・安藤英俊（山梨大） |
| (15) |
13:30-14:00 |
証明書管理機能付暗号化メーリングリストシステム |
○久米佑典（山梨大） |
| (16) |
14:00-14:30 |
ソフトウェア開発プロセス管理データの収集と活用の支援を目的とした電子ガイドの提案 |
○村上 弘・飯田 元・松本健一（奈良先端大） |
| (17) |
14:30-15:00 |
Model 2アーキテクチャのコンポーネント間関係に基づいたWebアプリケーション開発支援 |
○石山智朗（早大）・小野康一（日本IBM）・深澤良彰（早大） |
: 
n
w
