| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアインタプライズモデリング研究会 (SWIM) (検索条件: 2009年度)
「from:2009-11-27 to:2009-11-27」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SWIM | 2009-11-27 10:35 |
東京 | 東京国際フォーラム 407会議室 | 広域連携医療における次世代経営情報技術 ～ 電子紹介状による院内連携問題への接近 ～ 野地 保（東海大）・○佐々木 仁（コアーズ）・北村浩之（東海大）・周藤安造（コアーズ/麻布大）・堀井 実（東海大医学部付属八王子病院）  SWIM2009-12 |
広域連携医療ネットワークシステムにおいて，患者サービスの地域医療機関間の連携手段として患者紹介状を電子化してネットワーク... [more] | SWIM2009-12 pp.1-6 |
| SWIM | 2009-11-27 11:05 |
東京 | 東京国際フォーラム 407会議室 | SOAにおけるサービス適合性検証 ○岡田 祥・新川芳行（龍谷大） SWIM2009-13 |
SOAを実現するWebサービスにおいて，多くのサービスの中から利用者の要求に適合するものを発見することは，一般的に困難な... [more] | SWIM2009-13 pp.7-12 |
| SWIM | 2009-11-27 11:35 |
東京 | 東京国際フォーラム 407会議室 | BPEL記述からの例外処理分離とその形式化 ○周 旭・新川芳行（龍谷大） SWIM2009-14 |
[more] | SWIM2009-14 pp.13-18 |
| SWIM | 2009-11-27 15:15 |
東京 | 東京国際フォーラム 407会議室 | クラス‐シーケンスモデル間の整合性検証 ○高谷彰俊・新川芳行（龍谷大） SWIM2009-16 |
UMLクラス図とシーケンス図はそれぞれシステムの静的及び，動的な側面をモデル化する記法として広く使われている．同一の問題... [more] | SWIM2009-16 pp.25-30 |
| SWIM | 2009-11-27 15:45 |
東京 | 東京国際フォーラム 407会議室 | Webアプリケーションの変数を用いたモデル化と形式的手法による検査 ○本間 圭（宮城大）・高橋 薫（仙台高専）・和泉 諭（東北大）・阿部雄貴（仙台高専）・富樫 敦（宮城大） SWIM2009-17 |
[more] | SWIM2009-17 pp.31-38 |
| SWIM | 2009-11-27 16:15 |
東京 | 東京国際フォーラム 407会議室 | 入力中のデータベースに対する訂正機能を持つ検索方式 ○工藤 司（三菱電機インフォメーションシステムズ）・石野正彦（福井工大）・五月女健治（法政大）・片岡信弘（東海大） SWIM2009-18 |
時制データベースの一種であるバイテンポラルデータベースにより，オンライン入力の影響を受けずに，データ訂正を伴うバッチ検索... [more] | SWIM2009-18 pp.39-44 |
[研究会発表申込システムのトップページに戻る]