| |
10:30-10:40 |
委員長挨拶 （ 10分 ） |
5月27日(木) 午前 一般セッション(1)
10:40 - 12:40 |
| (1) |
10:40-11:20 |
プラグラマティズムに基づく概念データモデリングの再構築 ～ オブジェクト指向の哲学的背景について ～ |
○金田重郎（同志社大） |
| (2) |
11:20-12:00 |
オントロジー指向アーキテクチャーによる認識処理手法の基礎的検討 |
○木野千晶・鈴木喜雄・武宮 博（原子力機構） |
| (3) |
12:00-12:40 |
セキュリティ要件定義のためのゴール指向モデリング手法 |
○斯波万恵・佐々木尚一（東芝ソリューション）・田口研治（産総研）・吉岡信和（NII） |
| |
12:40-13:45 |
昼食 （ 65分 ） |
5月27日(木) 午後 フレッシャーズセッション
13:45 - 16:30 |
| (4) |
13:45-14:15 |
シナリオ部品とその組合せによるシナリオの生成支援 |
○西村 眞人(学)・大西 淳（立命館大） |
| (5) |
14:15-14:45 |
遷移確率距離を用いた類似文字列検索 |
○勝俣 彰文 (学)・三浦孝夫（法政大） |
| (6) |
14:45-15:15 |
XMLによるプログラムの表現とそれに基づく統合テスト支援環境の提案 ～ (1) ミューテーションテストのためのミュータントオペレータの実装 ～ |
○末広 暁久(学)・佐々木亮太・芳賀博英（同志社大） |
| |
15:15-15:30 |
休憩 （ 15分 ） |
| (7) |
15:30-16:00 |
税業務の階層性に基づく共同化システムの知識表現形式と処理系の構築 |
○長村篤紀・吉岡俊輔・深見尚平・上仲良幸・金田重郎（同志社大） |
| (8) |
16:00-16:30 |
類似メソッドの集約のための差分抽出支援 |
○政井 智雄(学)・吉田則裕・松下 誠・井上克郎（阪大） |
5月28日(金) 午前 一般セッション(2)
10:30 - 12:30 |
| (9) |
10:30-11:10 |
パターンを用いたゴール指向ビジネス企画手法の提案 |
○猿渡卓也（NTTデータ）・田口研治（NII）・斎藤 忍（NTTデータ）・山本修一郎（名大） |
| (10) |
11:10-11:50 |
要求の割付先としてのITと運用の選択基準 |
○服部 昇（NTTデータ/和歌山大）・鯵坂恒夫（和歌山大）・山本修一郎（名大） |
| (11) |
11:50-12:30 |
Rewriting Logic Approach to Separating Policy Rules from Behavioral Specification |
○Xiaoxi Dong・Shin Nakajima（NII） |
5月28日(金) 午後 一般セッション(3)
13:45 - 16:40 |
| (12) |
13:45-14:25 |
動的リアルタイムCEGAR |
○酒井 誠・田中祐史・山根 智（金沢大） |
| (13) |
14:25-15:05 |
空間の概念を持つコスト付き確率時間オートマトンの記号的検証手法 |
○畠中克也・鎌澤浩司・山根 智（金沢大） |
| |
15:05-15:20 |
休憩 （ 15分 ） |
| (14) |
15:20-16:00 |
確率時間REGARの実装と評価 |
○清水隆也・高橋正樹・山根 智（金沢大） |
| (15) |
16:00-16:40 |
プログラム構造から見た再帰プログラムの基本形 |
○大段雅典（島根大/NTTデータシステム技術）・佐藤匡正 |
: 
n
s