Thu, May 30 PM 13:35 - 14:45 |
|
13:35-13:45 |
Opening Address ( 10 min. ) |
(1) |
13:45-14:15 |
An Anti-Pattern Specifying Method based on the Relation between Fields and Methods |
Daiki Watanabe, Saeko Matsuura (Shibaura Inst. of Tech.) |
(2) |
14:15-14:45 |
A method for developing a D-case based on Sequence diagram |
Feng Ding, Shuichiro Yamamoto (Nagoya Univ.) |
|
14:45-15:00 |
Break ( 15 min. ) |
Thu, May 30 PM 15:00 - 16:00 |
(3) |
15:00-15:30 |
A Dependability Assurance Method Based on DFD (Data Flow Diagram) |
Nada Olayan, Shuichiro Yamamoto, Vaise Patu, Yutaka Matsuno (Nagoya Univ.) |
(4) |
15:30-16:00 |
Information Extraction Method Using Individual User's Schema Included in Documents |
Masayuki Motohashi, Hiroshi Maruyama, Taichi Nakamura (Tokyo Univ. of Tech.) |
|
16:00-16:15 |
Break ( 15 min. ) |
Thu, May 30 PM 16:15 - 17:30 |
(5) |
16:15-17:00 |
Proposal of method mining for the Traceability link recovery |
Takeyuki Ueda, Shinpei Ogata, Haruhiko Kaiya, Kenji Kaijiri (Shinshu Univ.) |
(6) |
17:00-17:30 |
A Screen Transition Model for Evaluating Usability Focusing on Function for Saving Inputs |
Hiroki Hayakawa, Shinpei Ogata, Haruhiko Kaiya, Kenji Kaijiri (Shinshu Univ.) |
Fri, May 31 AM 10:45 - 12:00 |
(7) |
10:45-11:15 |
A consideration for on an experiment to extract terms of Dependability Case |
Masanori Matsumura, Shuichiro Yamamoto (Nagoya Univ.) |
(8) |
11:15-12:00 |
A new approach to develop a dependable security case by combining real life security experiences (lessons learnt) with the dependability assurance case (D-Case) development process |
Vaise Patu, Shuichiro Yamamoto (Nagoya Univ.) |
|
12:00-13:00 |
Lunch Break ( 60 min. ) |
Fri, May 31 PM 13:00 - 14:30 |
(9) |
13:00-13:45 |
A Proposal of goal analysis process using the D-Case |
Hiroyuki Utsunomiya (DENSO CREATE), Shuichiro Yamamoto, Yutaka Matsuno (Nagoya Univ.), Teruyuki Nakazawa, Yoshikazu Yamamoto (DENSO CREATE) |
(10) |
13:45-14:30 |
Motivation Process Formalization and Instruction Improvement in Software Process Education |
Masanobu Umeda, Keiichi Katamine (Kyushu Inst. of Tech.), Keiichi Ishibashi (Junior College, Fukuoka Inst. of Tech.), Masaaki Hashimoto, Takaichi Yoshida (Kyushu Inst. of Tech.) |
|
14:30-14:45 |
Break ( 15 min. ) |
Fri, May 31 PM 14:45 - 16:25 |
(11) |
14:45-15:30 |
Robustness Anlysis on Human-made Fault in Procedural Manuals |
Naoyuki Nagatou (PRESYSTEMS), Takuo Watanabe (Tokyo Inst. of Tech.) |
(12) |
15:30-16:15 |
An Experiment on Dependability Case Development based on Argumentation Patterns |
Shuichiro Yamamoto (Nadoya Univ.) |
|
16:15-16:25 |
Closing Address ( 10 min. ) |