Thu, Aug 5 AM
10:30 - 12:00 |
| (1) |
10:30-11:00 |
A Quantitative Approach for Predicting the Cause-effect Relationships between the Process Performances and the Software Quality in a Software Development Organization |
Yoshinori Itabashi (Panasonic Corp./JAIST), Koichiro Ochimizu (JAIST) |
| (2) |
11:00-11:30 |
Proposal of Coding Rule Construction Method Based on Pattern |
Isamu Hasegawa (Nomura Research Inst, Ltd.) |
| (3) |
11:30-12:00 |
Requirement Analysis for Low Energy Consumption with Keeping User Satisfaction
-- Rearrangement Specification with Development Cost -- |
Ryu Nakazato, Takanobu Ando, Tetsuji Fukaya (Toshiba Corp) |
| |
12:00-13:15 |
Lunch Break ( 75 min. ) |
Thu, Aug 5 PM
13:15 - 14:45 |
| (4) |
13:15-13:45 |
A Concern-oriented Recommendation System for Debugging |
Masaru Shiozuka (Kyushu Inst. of Tech.), Naoyasu Ubayashi (Kyushu Univ.) |
| (5) |
13:45-14:15 |
A Defect Detection Technique Based on Consistency Checking of Program Dependence Graphs |
Goro Yamada (Osaka Univ.), Norihiro Yoshida (NAIST), Katsuro Inoue (Osaka Univ.) |
| (6) |
14:15-14:45 |
Quality Assurance by Using SPIN Model Checker in Mobile FeliCa IC Chip Development |
Kenji Tadano, Taro Kurita (FeliCa Networks) |
| |
14:45-15:00 |
Break ( 15 min. ) |
Thu, Aug 5 PM
15:00 - 16:30 |
| (7) |
15:00-15:30 |
Reachability Analysis for Timed Systems using Parallel Processing |
Toshiaki Tanaka, Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka Univ.) |
| (8) |
15:30-16:00 |
Validation of System Requirements written in Event-B |
Shin Nakajima (NII) |
| (9) |
16:00-16:30 |
Argument Filterings and Usable Rules in Higher-Order Rewrite Systems |
Sho Suzuki, Keiichirou Kusakari (Nagoya Univ.), Frederic Blanqui (INRIA) |
Fri, Aug 6 AM
10:00 - 11:30 |
| (10) |
10:00-10:30 |
On Implementation of a Translater from OCL into JML |
Kiyoyuki Miyazawa, Kozo Okano, Shinji Kusumoto (Osaka Univ.) |
| (11) |
10:30-11:00 |
A Code Search Tool for Repositories of Version Control Systems |
Toshihiro Kamiya (Future Univ-Hakodate.) |
| (12) |
11:00-11:30 |
Generating Descriptions of Nouns in Software from Program Comments |
Tetsuya Fujiki (Osaka Univ.), Yasuhiro Hayase (Toyo Univ.), Katsuro Inoue (Osaka Univ.) |
: 
a
-
