Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SWIM2009-12
Study on Medical Management Information Technology
-- An Approach for Hospital System Collaboration with Electronic Referral Letters --
Tamotsu Noji (Tokai Univ.), Hitoshi Sasaki (Cores Corp), Hiroyuki Kitamura (Tokai Univ.), Yasuzo Suto (Cores Corp/Azabu Uni.), Minoru Horii (Tokai Univ.)
pp. 1 - 6
SWIM2009-13
Evaluating Service Component Adaptability in SOA Environment
Akira Okada, Yoshiyuki Shinkawa (Ryukoku Univ.)
pp. 7 - 12
SWIM2009-14
Separation of Exceptional handling from BPEL description with formalization
Zhou Xu, Yoshiyuki Shinkawa (Ryukoku Univ.)
pp. 13 - 18
SWIM2009-16
Inter-Model Consistency between UML Class and Sequence Models
Akitoshi Takaya, Yoshiyuki Shinkawa (Ryukoku Univ)
pp. 25 - 30
SWIM2009-17
Modeling and Verification of Web Applications Using Formal Approach with Variables
Kei Homma (Miyagi Univ.), Kaoru Takahashi (Sendai National Coll. of Tech.), Satoru Izumi (Tohoku Univ.), Yuki Abe (Sendai National Coll. of Tech.), Atsushi Togashi (Miyagi Univ.)
pp. 31 - 38
SWIM2009-18
A Query Method of Corrected Snapshot of Database during Online Entry
Tsukasa Kudo (Mitsubishi Electric Information Systems Corp.), Masahiko Ishino (Fukui Univ. of Tech.), Kenji Saotome (Hosei Univ.), Nobuhiro Kataoka (Tokai Univ.)
pp. 39 - 44
Note: The papers with paper code of SWIM2009-12, SWIM2009-13, SWIM2009-14, SWIM2009-17, SWIM2009-18 in the table of contents have been accepted and printed with reviewing by the SWIM Program Committee.