Thu, Mar 15 PM 13:30 - 15:50 |
|
13:30-13:35 |
Opening Address ( 5 min. ) |
(1) |
13:35-14:20 |
Evaluation of an Assurance Case development method (d*) |
Takuya Saruwatari (Nagoya Univ./NTT DATA), Shuichiro Yamamoto (Nagoya Univ.) |
(2) |
14:20-15:05 |
A Proposal on Service Deployment Decision Method using Assurance Case |
Shigenori Kobayashi (NEC), Shuichiro Yamamoto (Nagoya Univ.) |
(3) |
15:05-15:50 |
Qualitative Spatial Reasoning on Rectangle Superposition by Embedding |
Takako Konishi, Kazuko Takahashi (Kwansei Gakuin Univ.) |
|
15:50-16:05 |
Break ( 15 min. ) |
Thu, Mar 15 PM 16:05 - 17:05 |
(4) |
16:05-17:05 |
[Invited Talk]
Needs-Oriented Research and Education on Knowledge-Based Software Engineering |
Masaaki Hashimoto (KIT (Prof. Emeritus)) |
Fri, Mar 16 AM 10:00 - 11:30 |
(5) |
10:00-10:45 |
A Consideration on Constructing Sustainable Information Collaboration Service Analysis Methodology |
Shuichiro Yamamoto (Nagoya Univ.) |
(6) |
10:45-11:30 |
High-speed business system generation tool and Its Application |
Jun Hagiwara, Shinobu Saito (NTTdata) |
|
11:30-11:40 |
Break ( 10 min. ) |
Fri, Mar 16 AM 11:40 - 13:10 |
(7) |
11:40-12:25 |
Case study for identifying estimation risk in contract-base software projects |
Masato Notomi, Takako Nakatani (Univ. of Tsukuba) |
(8) |
12:25-13:10 |
Survey on Body of Knowledge regarding Software Security |
Atsuo Hazeyama (Tokyo Gakugei Univ.) |
|
13:10-13:15 |
Closing Address ( 5 min. ) |