Thu, Aug 6 AM 10:30 - 17:30 |
(1) |
10:30-11:00 |
A Structure Analysis Method for Programs with Recursive Calls |
Masanori Ohdan (Shimane Univ.), Tadamasa Satou |
(2) |
11:00-11:30 |
A Prototype Implementation of Reverse-Engineering Toolkit: Remics |
Toshihiro Kamiya (AIST) |
(3) |
11:30-12:00 |
Formalization of AST Conversion for Applying CASE Tools to Other Programming Languages. |
Isamu Hasegawa (Nomura Research Institute, Ltd.), Katsuhiko Gondow (Tokyo Inst. of Tech.) |
|
12:00-13:00 |
Lunch Break ( 60 min. ) |
(4) |
13:00-13:30 |
Archface: An Interface Mechanism for Bridging a Gap between Architectural Design and Implementation |
Jun Nomura, Naoyasu Ubayashi (Kyushu Institute of Technology) |
(5) |
13:30-14:00 |
Incremental Feature Location Using Dynamic Slicing |
Katsuyuki Sekine, Teruyoshi Zenmyo, Shinpei Hayashi, Motoshi Saeki (Tokyo Inst. of Tech.) |
(6) |
14:00-14:30 |
Software Classification According to their Functionality based on Used Classes |
Tomoyoshi Ushimado, Akito Monden (NAIST), Haruaki Tamada (Kyoto Sangyo Univ), Ken-ichi Matsumoto (NAIST) |
|
14:30-14:45 |
Break ( 15 min. ) |
(7) |
14:45-15:15 |
Verification for the Real-time Network Systems with the Probabilistic Model Checker and its Comparision with the Network Simulator NS-2 |
Akihiko Ito, Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka Univ.) |
(8) |
15:15-15:45 |
Rodin Plugin to Link Event-B with SPIN |
Thomas Muller, Shin Nakajima (NII) |
(9) |
15:45-16:15 |
On Formalizing Behavioral Aspects of Reflective Computation |
Takuo Watanabe (Tokyo Inst. of Tech.) |
|
16:15-16:30 |
Break ( 15 min. ) |
(10) |
16:30-17:00 |
A study on cost-effective software configuration management for the maintenance of system |
Yuji Sakata, Shinji Iwasaki, Shuichiro Yamamoto (NTT Data Corp.) |
(11) |
17:00-17:30 |
Requirements Validation Criteria and Method based on Actors Interaction |
Noboru Hattori (NTT DATA/Wakayama Univ.), Shuichiro Yamamoto (NTT DATA), Tsuneo Ajisaka (Wakayama Univ.), Tsuyoshi Kitani (NTT DATA) |
Fri, Aug 7 AM 09:00 - 12:15 |
(12) |
09:00-09:30 |
Automatic Generation of Access Control Command from Information Flow Specification |
Yoshimasa Morita, Yoshiaki Takata (Kochi Univ. of Tech.), Hiroyuki Seki (NAIST) |
(13) |
09:30-10:00 |
Automating Equivalence Partitioning in Test Case Generation with a Computer Algebra System |
Satoshi Hattori (Tokyo Inst. of Tech.) |
(14) |
10:00-10:30 |
Guidelines and Anti-Patterns for Feature Modeling to Predesign Software Architecture |
Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda (Kyushu Univ.) |
|
10:30-10:45 |
Break ( 15 min. ) |
(15) |
10:45-11:15 |
Discrimination of Unsuitable Estimation Project in Estimation by Analogy |
Tetsuaki Nakamura, Takeshi Kakimoto, Shinji Kusumoto (Osaka Univ.) |
(16) |
11:15-11:45 |
Metrics to Validate Software Maintenance Process using Bug Tracking System |
Kyohei Fushida, Shinji Kawaguchi, Hajimu Iida (NAIST) |
(17) |
11:45-12:15 |
On the Job Learing: A New Software Engineering Education Method on Collaboration between Academia and Industry |
Takashi Kobayashi (Nagoya Univ.), Atsushi Sawada (Nanzan Univ.), Shinichiro Yamamoto (AIchi Pref. Univ), Masami Noro (Nanzan Univ.), Kiyoshi Agusa (Nagoya Univ.) |