| 日時 |
2006年 2月 2日(木) 13:30 - 17:15
2006年 2月 3日(金) 09:30 - 12:45 |
| 議題 |
一般 |
| 会場名 |
福岡知的クラスター研究所 福岡システムLSI総合開発センター 会議室A（2F205号室） |
| 住所 |
〒814-0001福岡市早良区百道浜3-8-33 |
| 交通案内 |
福岡空港より地下鉄（20分），博多駅より地下鉄（１５分）で藤崎で下車，更に藤崎バスセンターより（200,305,306,福岡タワー,または医療センター構内行き[1,2,1-5]の西鉄バス）で福岡タワー南口下車（10分）(下記交通情報も参照下さい）
http://www.fleets.jp/access/index.html |
会場世話人
連絡先 |
松本充広
092-832-2520（代表） |
| お知らせ |
◎交通情報：福岡空港や博多駅から直接出る西鉄バスは本数が少ないそうです．[1,2,1-5]は，天神，西新，博多駅行きなどの，福岡タワー,または医療センター構内行き以外のバスは福岡タワー南口には来ないのでご注意下さい．なお，バスの時刻表は西鉄バスのホームページ（http://jik.nnr.co.jp/busnavi/bustei.htm）から参照できます |
| ◎懇親会情報： 店名：磯貝，（http://woman.excite.co.jp/gourmet/restaurant/shop_56771.html），日時：２/２（木） １８：３０～２０：３０，コース：５,０００円の飲み放題2時間のコース |
2月2日(木) 午後
13:30 - 17:15 |
| (1) |
13:30-14:00 |
情報フロー・ダイアグラムによる組込みソフトウェア非正常系の分析手法 |
○亀谷秀洋（九工大）・新屋敷泰史・三瀬敏郎（松下電工/九工大）・橋本正明・鵜林尚靖・片峯恵一（九工大）・中谷多哉子（エス・ラグーン/九工大） |
| (2) |
14:00-14:30 |
リファクタリングの正しさのESC/Java2による形式検証 |
○中島 震（NII）・福島慶明・橋本祐介・岩崎新一（NEC） |
| (3) |
14:30-15:00 |
オントロジーを用いた要求獲得手法のための比較実験 |
○杉浦剛之・大西 淳（立命館大） |
| (4) |
15:00-15:30 |
Automated Software Engineering 2005 参加報告 |
○田口研治（NII）・佐伯元司（東工大）・本位田真一（NII） |
| |
15:30-15:45 |
休憩 （ 15分 ） |
| (5) |
15:45-16:15 |
差分分析による要求仕様の管理支援手法 |
○清水可奈子・大西 淳（立命館大） |
| (6) |
16:15-16:45 |
π計算表示から能動形プログラムの枠組みの生成 |
○渡邉勝正（奈良先端大）・駱 福全（台湾凸版）・中西正樹・山下 茂（奈良先端大） |
| (7) |
16:45-17:15 |
項正規表現に基づくSpi計算の機密性検証 |
○田代善彦・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹（名大） |
2月3日(金) 午前
09:30 - 12:45 |
| (8) |
09:30-10:00 |
AHPによる要求代替案選択手法 |
○山崎孝夫・佐伯元司（東工大） |
| (9) |
10:00-10:30 |
Model Checking Integrated Services of Home Network Systems |
○Takafumi Matsuo・Pattara Leelaprute・Tatsuhiro Tsuchiya・Tohru Kikuno（Osaka Univ.） |
| (10) |
10:30-11:00 |
関数プログラムの停止性証明のための辞書式経路順序 |
○星野由美・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大） |
| |
11:00-11:15 |
休憩 （ 15分 ） |
| (11) |
11:15-11:45 |
確率的モデル検査ツールPRISMによるリアルタイム分散システムのネットワーク遅延を考慮した検証手法について |
○長井栄吾・岡野浩三・楠本真二（阪大） |
| (12) |
11:45-12:15 |
ページ・機能のモジュール性を高めるWebアプリケーションフレームワークの提案 |
○原口孝雄（早大）・小野康一（日本IBM）・深澤良彰（早大） |
| (13) |
12:15-12:45 |
ソフトウェア共同開発におけるワークフロー実行制御の一方式 |
○小谷正行・落水浩一郎（北陸先端大） |
: 
n
w
