Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [Japanese] / [English]
SWIM2010-25
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)
pp. 1 - 6
SWIM2010-26
Features of traceability in information system developments and considerations to management models
Yoshihisa Udagawa (Tokyo Polytechnic Univ)
pp. 7 - 12
SWIM2010-27
To analysis the formation system for enterprise
-- The first model prototype --
Kanae Cho
pp. 13 - 16
SWIM2010-28
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.)
pp. 17 - 22
SWIM2010-29
Automatic Generation from UML Activity Diagram to SPIN Model Checking Code and its Application to Web Application Design
Yutaka Yamada, Katsumi Wasaki (Shinshu Univ.)
pp. 23 - 28
SWIM2010-30
[Keynote Address]
The Trend of Service Engineering
Masanori Akiyoshi (Osaka Univ.)
pp. 29 - 31
SWIM2010-31
Verifying UML Inter-Model Consistency Using CPN
Masato Nomura, Yoshihiro Yasuda, Yoshiyuki Shinkawa (Ryukoku Univ.)
pp. 33 - 38
SWIM2010-32
CPN Based Transaction Model Expression and Verification
Kazuki Tanaka, Kazuma Yamauchi, Yoshiyuki Shinkawa (Ryukoku Univ.)
pp. 39 - 44
SWIM2010-33
Trial Implementation of PDM onto SaaS Cloud-Computuing Environments
Yoshihiko Sakashita, Yusuke Taira (SIT)
pp. 45 - 50
SWIM2010-34
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)
pp. 51 - 62
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.