| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアインタプライズモデリング研究会 (SWIM) (検索条件: 2010年度)
「from:2010-06-04 to:2010-06-04」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SWIM | 2010-06-04 13:05 |
東京 | 機械振興会館 | クラウドコンピューティングとどう向き合うか ～ クラウドはビジネス系情報システム構築技法の革命となりうるか ～ ○宮西洋太郎（アイエスイーエム）  SWIM2010-1 |
最近話題のクラウドコンピューティングは，ユーザにとっては，情報システム開発期間の短縮，TCO削減，スケーラビリティ拡大と... [more] | SWIM2010-1 pp.1-6 |
| SWIM | 2010-06-04 13:30 |
東京 | 機械振興会館 | 緊急医療における搬送先探索モデルの検討 野地 保（東海大）・荻野 正（三菱電機インフォメーションテクノロジー）・○齊藤まゆ子（東海大） SWIM2010-2 |
救急医療の現場では，救急隊員が搬送先と直接連絡して受け入れ先を探索する手法を用いており，救急患者の受け入れ先を探索して決... [more] | SWIM2010-2 pp.7-11 |
| SWIM | 2010-06-04 13:55 |
東京 | 機械振興会館 | エンタプライズモデル基礎論（その2） ○松本正雄（ソリューション総研/Dortmund Univ/九州産大/筑波大） SWIM2010-3 |
エンタプライズモデル（略EM）の骨子は経営システム的、情報システム的、ソリューション的なものなど多様である。本稿ではソリ... [more] | SWIM2010-3 pp.13-22 |
| SWIM | 2010-06-04 14:20 |
東京 | 機械振興会館 | プロセス代数CCSによるBPELの形式化 ○山内一馬・新川芳行（龍谷大） SWIM2010-4 |
Webサービスオーケストレーション言語であるBPELによりビジネスプロセスの自動化や高度な判断処理を要する情報システムの... [more] | SWIM2010-4 pp.23-28 |
| SWIM | 2010-06-04 15:00 |
東京 | 機械振興会館 | ［特別講演］特別講演マイクロソフトのクラウド基盤 ～ Windows Azure概要と活用事例 ～ ○平野和順（マイクロソフト） SWIM2010-5 |
(事前公開アブストラクト) [more] | SWIM2010-5 pp.29-38 |
| SWIM | 2010-06-04 16:05 |
東京 | 機械振興会館 | UMLアクティビティ図-クラス図間の整合性検証 ○堂西祐一・新川芳行（龍谷大） SWIM2010-6 |
統一モデリング言語 (UML)を用いることにより、ソフトウェアの構造及び振る舞いについての仕様を詳細に記述できるが、各U... [more] | SWIM2010-6 pp.39-44 |
| SWIM | 2010-06-04 16:30 |
東京 | 機械振興会館 | 時間制約が存在するUMLの正当性検証 ○野村将人・新川芳行（龍谷大） SWIM2010-7 |
本論文では、モデル検査ツールUPPAALを用いてUMLシーケンス図の正当性を検証する方法について述べる。UPPAALはシ... [more] | SWIM2010-7 pp.45-50 |
| SWIM | 2010-06-04 16:55 |
東京 | 機械振興会館 | クラウドコンピューティングトライアルプロジェクトの概要 ～ ソフトウェア産業の繁栄のために ～ ○宮西洋太郎（アイエスイーエム） SWIM2010-8 |
クラウドコンピューティングがビジネス系情報システムの本流となるか否かを見極め，もし本流になるならば，情報システム構築のた... [more] | SWIM2010-8 pp.51-56 |
[研究会発表申込システムのトップページに戻る]