Thu, May 21 PM 14:00 - 17:15 |
(1) |
14:00-14:30 |
Aspect oriented requirement extraction procedure and its application of office design |
Komon Ibe (NTT DATA Co./Kyushu Univ.), Shinobu Saito (NTT DATA Co.) |
(2) |
14:30-15:00 |
Requirement Analysis Technique based on Business Situation and User Dependency |
Shinobu Saito, Komon Ibe (NTT Data) |
(3) |
15:00-15:30 |
An Integrated CASE Tool for Supporting Attributed Goal-Oriented Requirements Analysis Method |
Motoshi Saeki, Shinpei Hayashi (Tokyo Inst. of Tech.), Haruhiko Kaiya (Shinshu Univ.) |
|
15:30-15:45 |
Break ( 15 min. ) |
(4) |
15:45-16:15 |
A Comparing Analysis for Software Analysis Techniques based on activated pattern of cerebral cortex |
Mikio Ohki, Toshiki Uehara, Haruki Murase (Nippon Inst. of Tech.) |
(5) |
16:15-16:45 |
Issues on Analysis Large Dependable System |
Shuichiro Yamamoto, Masakazu Kanbe (NTT DATA), Shaoying Liu (Hosei Univ.) |
(6) |
16:45-17:15 |
Proposal and Implementation of Feature Model Drawing Algorithm |
Masaaki Hasuo, Tsuneo Nakanishi, Shigeaki Tagashira, Yutaka Arakawa, Kenji Hisazumi, Akira Fukuda (Kyushu Univ.) |
Fri, May 22 AM 09:30 - 12:15 |
(7) |
09:30-10:00 |
A Design Model Based Methodology for Test Case Extraction and Test Data Generation |
Xiaojing Zhang, Takashi Hoshino (NTT) |
(8) |
10:00-10:30 |
Modeling and Verification of Web Applications Using Formal Approach |
Kei Homma (Miyagi Univ.), Kaoru Takahashi (Sendai National Coll. of Tech.), Atsushi Togashi (Miyagi Univ.) |
(9) |
10:30-11:00 |
An SOS interpreter with negative premises and an equivalence checker by Maude |
Jun Ban, Keigo Imai, Shoji Yuen (Nagoya Univ.) |
|
11:00-11:15 |
Break ( 15 min. ) |
(10) |
11:15-11:45 |
Reuse of the estimation model of error-prone module |
Shinya Watanabe, Haruhiko Kaiya, Kenji Kaijiri (Shinshu Univ.) |
(11) |
11:45-12:15 |
An Application of Control Chart and Growth Curve Model for Estimating Number of Bugs in Open Source Development |
Takahiro Ohkochi, Hirohisa Aman (Ehime Univ.) |