2月25日(金) 午前 10:40 - 16:50 |
(1) |
10:40-10:45 |
委員長開会挨拶 |
(2) |
10:45-11:10 |
医療診断用イメージング装置の仮想化とクラウドによるイメージング処理の提案 |
○結城 修・峰野博史・水野忠則(静岡大) |
(3) |
11:10-11:35 |
情報システム開発におけるトレーサビリティの特質と管理モデルの考察 |
○宇田川佳久(東京工芸大) |
(4) |
11:35-12:00 |
企業フォーメーションシステムの分析 ~ 初期モデル-プロトタイプ ~ |
○長 香奈恵 |
|
12:00-13:00 |
昼食 ( 60分 ) |
(5) |
13:00-13:25 |
大学教育における情報システム構築の要求定義演習についての提案 |
○石野正彦(福井工大)・工藤 司(静岡理工科大)・五月女健治(法政大)・片岡信弘(東海大) |
(6) |
13:25-13:50 |
UMLアクティビティ図からSPINモデル検査用コードの自動生成とWebアプリケーション設計への適用 |
○山田 豊・和崎克己(信州大) |
(7) |
13:50-14:50 |
[基調講演]サービスエンジニアリングの動向 |
○秋吉政徳(阪大) |
|
14:50-15:05 |
休憩 ( 15分 ) |
(8) |
15:05-15:30 |
CPNによるUMLモデル間整合性検証 |
○野村将人・安田佳宏・新川芳行(龍谷大) |
(9) |
15:30-15:55 |
CPNによるトランザクションモデルの表現と検証 |
田中一樹・○山内一馬・新川芳行(龍谷大) |
(10) |
15:55-16:20 |
SaaS環境クラウドコンピューティング上へのPDMの試作 |
○坂下善彦・平 雄祐(湘南工科大) |
(11) |
16:20-16:45 |
2010年度クラウドコンピューティングトライアルプロジェクトの総括 |
○宮西洋太郎(アイエスイーエム)・廣瀬 修(エクスウェア)・坂下善彦(湘南工科大)・梶 功夫・須栗裕樹(宮城大)・片岡信弘(東海大) |
(12) |
16:45-16:50 |
副委員長閉会挨拶 |