Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [Japanese] / [English]
SWIM2010-1
クラウドコンピューティングとどう向き合うか ～ クラウドはビジネス系情報システム構築技法の革命となりうるか ～
○宮西洋太郎（アイエスイーエム）
pp. 1 - 6
SWIM2010-2
緊急医療における搬送先探索モデルの検討
野地 保（東海大）・荻野 正（三菱電機インフォメーションテクノロジー）・○齊藤まゆ子（東海大）
pp. 7 - 11
SWIM2010-3
エンタプライズモデル基礎論（その2）
○松本正雄（ソリューション総研/Dortmund Univ/九州産大/筑波大）
pp. 13 - 22
SWIM2010-4
プロセス代数CCSによるBPELの形式化
○山内一馬・新川芳行（龍谷大）
pp. 23 - 28
SWIM2010-5
［特別講演］特別講演マイクロソフトのクラウド基盤 ～ Windows Azure概要と活用事例 ～
○平野和順（マイクロソフト）
pp. 29 - 38
SWIM2010-6
UMLアクティビティ図-クラス図間の整合性検証
○堂西祐一・新川芳行（龍谷大）
pp. 39 - 44
SWIM2010-7
時間制約が存在するUMLの正当性検証
○野村将人・新川芳行（龍谷大）
pp. 45 - 50
SWIM2010-8
クラウドコンピューティングトライアルプロジェクトの概要 ～ ソフトウェア産業の繁栄のために ～
○宮西洋太郎（アイエスイーエム）
pp. 51 - 56
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．