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.) |
: oh
i
n
