Mon, May 25 AM 10:10 - 12:30 |
|
10:10-10:15 |
Opening Address ( 5 min. ) |
(1) |
10:15-11:00 |
Business Process Definition by Example and Process Mining
-- graph enumeration-based approach -- |
Tadashi Iijima (Keio Univ.) |
(2) |
11:00-11:45 |
Study on a Supporting Method for Creating Scenario Based on Screen Transition Model |
Shinpei Ogata, Tetsumasa Nakamura, Kozo Okano (Shinshu Univ.) |
(3) |
11:45-12:30 |
Use-case Re-generation based on Existence Dependency |
Shigeo Kaneda, Akio Ida, Hiromasa Yano (Doshisha Univ.) |
|
12:30-13:30 |
Lunch Break ( 60 min. ) |
Mon, May 25 PM 13:30 - 16:55 |
(4) |
13:30-15:10 |
[Invited Talk]
Knowledge in Models: The Open Models Laboratory |
Dimitris Karagiannis (Univ. Wien) |
|
15:10-15:25 |
Break ( 15 min. ) |
(5) |
15:25-16:10 |
Designing a New System based on Customer Experience Descriptions: Method and Practice |
Hironori Takeuchi, Yeuneu Chang (IBM Japan) |
(6) |
16:10-16:55 |
Tree structural expression of program based on program slicing |
Katsuhisa Yoneda, Hirohide Haga (Doshisha Univ.) |
Tue, May 26 AM 10:00 - 11:30 |
(7) |
10:00-10:45 |
A Preliminary Programming Framework for Self-Adaptive System on Real-World Hardware |
Hiroki Tsuda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) |
(8) |
10:45-11:30 |
Research Issues on the Assurance Cases for Software Product Lines |
Shuichiro Yamamoto (Nagoya Univ.) |
|
11:30-11:35 |
Closing Address ( 5 min. ) |