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

Last modified: 2009-11-17 10:35:45