Fri, Feb 25 AM
10:40 - 16:50 |
| (1) |
10:40-10:45 |
opennig Address |
| (2) |
10:45-11:10 |
The proposal of the virtualization of the medical imaging devices and processing of the image by the cloud computing |
Osamu Yuuki, Hiroshi Mineno, Tadanori Mizuno (Shizuoka Univ) |
| (3) |
11:10-11:35 |
Features of traceability in information system developments and considerations to management models |
Yoshihisa Udagawa (Tokyo Polytechnic Univ) |
| (4) |
11:35-12:00 |
To analysis the formation system for enterprise
-- The first model prototype -- |
Kanae Cho |
| |
12:00-13:00 |
Lubch ( 60 min. ) |
| (5) |
13:00-13:25 |
Proposal about Requirements Definition Practice about Information System Construction in University Education |
Masahiko Ishino (FUT), Tsukasa Kudo (SIST), Kenji Saotome (Hosei Univ.), Nobuhiro Kataoka (Tokai Univ.) |
| (6) |
13:25-13:50 |
Automatic Generation from UML Activity Diagram to SPIN Model Checking Code and its Application to Web Application Design |
Yutaka Yamada, Katsumi Wasaki (Shinshu Univ.) |
| (7) |
13:50-14:50 |
[Keynote Address]
The Trend of Service Engineering |
Masanori Akiyoshi (Osaka Univ.) |
| |
14:50-15:05 |
Break ( 15 min. ) |
| (8) |
15:05-15:30 |
Verifying UML Inter-Model Consistency Using CPN |
Masato Nomura, Yoshihiro Yasuda, Yoshiyuki Shinkawa (Ryukoku Univ.) |
| (9) |
15:30-15:55 |
CPN Based Transaction Model Expression and Verification |
Kazuki Tanaka, Kazuma Yamauchi, Yoshiyuki Shinkawa (Ryukoku Univ.) |
| (10) |
15:55-16:20 |
Trial Implementation of PDM onto SaaS Cloud-Computuing Environments |
Yoshihiko Sakashita, Yusuke Taira (SIT) |
| (11) |
16:20-16:45 |
Summary Report of SWIM Cloud Computing Trial Project 2010 |
Yohtaro Miyanishi (ISEM), Osamu Hirose (XWARE), Yoshihiko Sakashita (SIT), Isao Kaji, Hiroki Suguri (MYU), Nobuhiro Kataoka (Tokai University) |
| (12) |
16:45-16:50 |
Closing Address |
9
