|
09:20-09:30 |
Opening Address ( 10 min. ) |
Wed, Sep 21 AM 09:30 - 11:45 |
(1) |
09:30-10:15 |
Development of a Software Security Learning Environment |
Atsuo Hazeyama (TGU), Hiroto Shimizu (IIS) |
(2) |
10:15-11:00 |
Exploring Unexpected Scenarios of Household Electrical Appliances with Problem Frames |
Toshiro Mise, Masaaki Hashimoto, Keiichi Katamine (KIT), Takako Nakatani (Univ. of Tsukuba) |
(3) |
11:00-11:45 |
On a reduced form of software Failure Analysis Table |
Daisuke Yoshikawa, Shuichiro Yamamoto (Nagoya Univ.) |
|
11:45-13:00 |
Lunch Break ( 75 min. ) |
Wed, Sep 21 PM 13:00 - 15:15 |
(4) |
13:00-13:45 |
Requirements Elicitationusing Abduction |
Toshihiko Tsumaki (NII) |
(5) |
13:45-14:30 |
d* Framework: A proposal toward dependability case among actors |
Yutaka Matsuno (Univ of Tokyo), Toshinori Takai (AIST), Shuichiro Yamamoto (Nagoya Univ.) |
(6) |
14:30-15:15 |
A Consideration for Analyzing Information Collaboration Structures
-- Towards a development method for sustainable Information collaboration services -- |
Shuichiro Yamamoto (Nagoya Univ.) |
Wed, Sep 21 PM 15:30 - 17:45 |
(7) |
15:30-16:15 |
A Verification Method of Software Requirements Specification using Requirements Ontology |
Takeo Kondo, Atsushi Ohnishi (Ritsumeikan Univ.) |
(8) |
16:15-17:00 |
A Proposal of a System to Support the Versification of a Chinese Poem:
-- Constraints on Versification and Support for Versification by Utilizing a Database of Poetic Diction -- |
Feng Qiu (Shibaura Institute of Technology Univ), Keiichi Nakamura (Sumitomo Heavy Industries ltd), Seiichi Komiya (Shibaura Institute of Technology Univ) |
(9) |
17:00-17:45 |
A Method for Navigating Interview-Driven Software Requirements Elicitation Work
-- A Method of automatic generation of requirements specification -- |
Takatoshi Yamanaka, Hiroaki Iizuka, Shuhei Murayama, Fuminori Hirose, Seiichi Komiya (Shibaura) |
Thu, Sep 22 AM 09:00 - 12:00 |
(10) |
09:00-09:45 |
Interactive Test Data Development Tool for Validating Requirements Analysis Model |
Ryo Shikimi, Shinpei Ogata, Saeko Matsuura (Shibaura Inst. of Tech.) |
(11) |
09:45-10:30 |
Generating Precondition of each Test Case by Using trajectory of program execution
-- To improve the coverage of white box testing -- |
Hiroyuki Ebihara, Seiichi Komiya (Shibaura Institute of Technology), Kouhei Sakurai (University of Tokyo) |
(12) |
10:30-11:15 |
Dependency Analysis for Application Development Framework of Business Logic Modeling |
Hirotaka Okuda, Shinpei Ogata, Saeko Matsuura (SIT) |
(13) |
11:15-12:00 |
A Survival Analysis of Code Change focusing on Code Dependency and Code Clone |
Ryohei Asano, Myrizki Sandhi Yudha, Hirohisa Aman (Ehime Univ) |