Thu, Mar 10 PM
13:30 - 17:55 |
| |
13:30-13:40 |
Opening Address ( 10 min. ) |
| (1) |
13:40-14:20 |
A Supporting Tool for High-Quality Goal Graphs and Its Evaluation |
Takanori Ugai (Fujitsu Labs./Tokyo Inst. of Tech.), Shinpei Hayashi, Motoshi Saeki (Tokyo Inst. of Tech.) |
| (2) |
14:20-15:00 |
Generating Test Cases from UML Requirement Specifications Based on Coverage |
Ryo Shikimi, Shinpei Ogata, Saeko Matsuura (Shibaura Inst. of Tech.) |
| (3) |
15:00-15:40 |
A Verification System of the Correctness of Requirements Ontology |
Bui Quang Huy, Atsushi Ohnishi (Ritsumeikan Univ.) |
| |
15:40-15:55 |
Break ( 15 min. ) |
| (4) |
15:55-16:35 |
A Method to Analyze Failure Scenarios of Embedded Systems by Using Unexpected Phenomena |
Toshiro Mise, Yasufumi Shinyashiki (Panasonic Electric Works), Keiichi Katamine, Masaaki Hashimoto (Kyusyu Inst. of Tech), Takako Nakatani (University of Tsukuba), Naoyasu Ubayashi (Kyushu University) |
| (5) |
16:35-17:15 |
A calculation method of system similarity for evaluation of practical accomplishments in person-in-charge allocation support. |
Eiichi Kameda, Masamitsu Mochizuki, Yoshimi Teshigawara (Soka Univ.) |
| (6) |
17:15-17:55 |
Comprehension of Works on Kafka on the Shore by Fuzzy Cluster Analysis |
Chieko Kato, Yuki Maeshiro (Toyo Univ.), Matthew C. Strecher (Winona St. Univ.), Kensei Tsuchida (Toyo Univ.) |
Fri, Mar 11 AM
10:00 - 12:00 |
| (7) |
10:00-10:40 |
Requirements Engineering Education with Model-Driven Requirements Analysis Method employing Automatic Prototype Generation |
Shinpei Ogata, Saeko Matsuura (Shibaura Inst. of Tech.) |
| (8) |
10:40-11:20 |
A Method for Analyzing Information Integration Architecture |
Shuichiro Yamamoto (Nagoya Univ.) |
| (9) |
11:20-12:00 |
A Model Theory of Requirements Engineering |
Mikio Aoyama (Nanzan Univ.), Takako Nakatani (Univ. of Tsukuba), Shinobu Saito (NTT DATA), Mikio Suzuki (TIS Inc.), Hiroaki Nakazaki (Fujitsu FIP), Kazuaki Fujita (Hitachi Solutions), Ritsuo Suzuki (JISA) |
Fri, Mar 11 PM
13:00 - 16:35 |
| (10) |
13:00-13:40 |
Consideration on Relationship Name of ER Diagram based on Akira Mikami's Japanese Grammar Theory |
Shigeo Kaneda (Doshisha Univ.) |
| (11) |
13:40-14:20 |
A Discussion for Effectiveness and Defects of Screen Prototyping on System Definition Phase |
Akiko Shitomi, Shinobu Saito (NTT DATA Corp.) |
| (12) |
14:20-15:00 |
Generation of Consistent GUI by Analyzing Existing Windows |
Seitaro Shirai (Waseda Univ.), Junko Shirogane (TWCU), Hajime Iwata (Kanagawa Inst. of Tech.), Yoshiaki Fukazawa (Waseda Univ.) |
| |
15:00-15:15 |
Break ( 15 min. ) |
| (13) |
15:15-15:55 |
Automatic Generation of Functional Prototype by CRUD-based Business Logic Modeing |
Hirotaka Okuda, Shinpei Ogata, Saeko Matsuura (Shibaura Inst. of Tech.) |
| (14) |
15:55-16:35 |
A Method for Detecting Unusual Latent Defects in Enterprise System Using Model Checking Techniques
-- Verification of Database Lock Problem -- |
Yoshitaka Aoki, Saeko Matsuura (Shibaura Inst. of Tech) |
: 
ci
k
