Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SWIM2009-12
広域連携医療における次世代経営情報技術 ～ 電子紹介状による院内連携問題への接近 ～
野地 保（東海大）・○佐々木 仁（コアーズ）・北村浩之（東海大）・周藤安造（コアーズ/麻布大）・堀井 実（東海大医学部付属八王子病院）
pp. 1 - 6
SWIM2009-13
SOAにおけるサービス適合性検証
○岡田 祥・新川芳行（龍谷大）
pp. 7 - 12
SWIM2009-14
BPEL記述からの例外処理分離とその形式化
○周 旭・新川芳行（龍谷大）
pp. 13 - 18
SWIM2009-16
クラス‐シーケンスモデル間の整合性検証
○高谷彰俊・新川芳行（龍谷大）
pp. 25 - 30
SWIM2009-17
Webアプリケーションの変数を用いたモデル化と形式的手法による検査
○本間 圭（宮城大）・高橋 薫（仙台高専）・和泉 諭（東北大）・阿部雄貴（仙台高専）・富樫 敦（宮城大）
pp. 31 - 38
SWIM2009-18
入力中のデータベースに対する訂正機能を持つ検索方式
○工藤 司（三菱電機インフォメーションシステムズ）・石野正彦（福井工大）・五月女健治（法政大）・片岡信弘（東海大）
pp. 39 - 44
注：上記目次において，SWIM2009-12，SWIM2009-13，SWIM2009-14，SWIM2009-17，SWIM2009-18 は，査読を経て採録された論文である．その他は査読対象外である．