8月2日(木) 午後
13:30 - 18:00 |
| (1) |
13:30-14:00 |
左線形な定向条件付き項書換え系における到達可能な項集合の近似集合を認識する木オートマトン |
○村田俊樹・西田直樹・酒井正彦・坂部俊樹・草刈圭一朗（名大） |
| (2) |
14:00-14:30 |
振舞等価性の証明のための等式付き書換えに基づく潜在帰納法 |
○笹田悠司・酒井正彦・西田直樹・坂部俊樹・草刈圭一朗（名大） |
| (3) |
14:30-15:00 |
依存対法を用いた項書換え系多重完備化手続き |
○佐藤晴彦・栗原正仁（北大） |
| |
15:00-15:15 |
休憩 （ 15分 ） |
| (4) |
15:15-15:45 |
シナリオ分類支援ツール：シナリオマップ |
柳川 覚・○大西 淳（立命館大） |
| (5) |
15:45-16:15 |
Java言語のAPIドキュメント作成支援ツールの提案と実装 |
○橋本和明・杉山安洋（日大） |
| (6) |
16:15-16:45 |
TRMIにおけるリモートオブジェクト管理コンソール TrmiMonitor |
○外山和樹（日大）・北川俊広（SRA OSS）・永田 充・杉山安洋（日大） |
| |
16:45-17:00 |
休憩 （ 15分 ） |
| (7) |
17:00-17:30 |
JMLを用いた在庫管理プログラムの設計とESC/Javaを用いた検証 |
○尾鷲方志・岡野浩三・楠本真二（阪大） |
| (8) |
17:30-18:00 |
アクタの状態における定義・参照関係を用いたシナリオ検証の一方法 |
○糸賀裕弥・大西 淳（立命館大） |
8月3日(金) 午前
09:00 - 12:15 |
| (9) |
09:00-09:30 |
抽象インタラクション記述を用いたインタフェース・マイグレーション |
○柳田拓人・野中秀俊（北大） |
| (10) |
09:30-10:00 |
要求分析のためのドメインオントロジ構築支援 |
○長谷川 亮・北村元博（東工大）・海谷治彦（信州大）・佐伯元司（東工大） |
| (11) |
10:00-10:30 |
An Evaluation of Computerized Tools for Method Construction |
○Inge van de Weerd（Utrecht Univ.）・Motoshi Saeki（Tokyo Inst. of Tech.） |
| |
10:30-10:45 |
休憩 （ 15分 ） |
| (12) |
10:45-11:15 |
リアルタイム・コンポーネント向けの程良い形式手法 |
○中島 震（NII） |
| (13) |
11:15-11:45 |
状態遷移モデルに基づく情報システムの障害とその復旧操作の分析法 |
○善明晃由（東芝） |
| (14) |
11:45-12:15 |
UPPAAL拡張時間オートマトンの反例に基づく抽象化改良ループによるモデル抽象化手法 |
○長岡武志・岡野浩三・楠本真二（阪大） |
: 
is
-u