11月27日(金)
10:30 - 16:45 |
| |
10:30-10:35 |
委員長挨拶 （ 5分 ） |
| (1) |
10:35-11:05 |
広域連携医療における次世代経営情報技術 ～ 電子紹介状による院内連携問題への接近 ～ |
野地 保（東海大）・○佐々木 仁（コアーズ）・北村浩之（東海大）・周藤安造（コアーズ/麻布大）・堀井 実（東海大医学部付属八王子病院） |
| (2) |
11:05-11:35 |
SOAにおけるサービス適合性検証 |
○岡田 祥・新川芳行（龍谷大） |
| (3) |
11:35-12:05 |
BPEL記述からの例外処理分離とその形式化 |
○周 旭・新川芳行（龍谷大） |
| |
12:05-13:00 |
休憩 （ 55分 ） |
| (4) |
13:00-15:00 |
［パネル討論］クラウドコンピューティングの経営情報における意義と課題
～ どのようなクラウドコンピューティングがエンタプライズに有効か ～
司会 日経BP 中田敦氏
パネラー セールスフォース・ドットコム 榎隆司氏、
マイクロソフト 平野和順氏
日立製作所 香田克也氏
日本IBM 三崎文敬氏
総務省 石川家継氏
NTTコミュニケーションズ 林雅之氏 |
| |
15:00-15:15 |
休憩 （ 15分 ） |
| (5) |
15:15-15:45 |
クラス‐シーケンスモデル間の整合性検証 |
○高谷彰俊・新川芳行（龍谷大） |
| (6) |
15:45-16:15 |
Webアプリケーションの変数を用いたモデル化と形式的手法による検査 |
○本間 圭（宮城大）・高橋 薫（仙台高専）・和泉 諭（東北大）・阿部雄貴（仙台高専）・富樫 敦（宮城大） |
| (7) |
16:15-16:45 |
入力中のデータベースに対する訂正機能を持つ検索方式 |
○工藤 司（三菱電機インフォメーションシステムズ）・石野正彦（福井工大）・五月女健治（法政大）・片岡信弘（東海大） |