Thu, Feb 1 PM 13:15 - 17:05 |
(1) |
13:15-13:40 |
Automatic Programming of XML Transformer between Schemas based on Correspondence of Structures |
Junpei Ogawa, Hideto Kasuya, Hirotaka Ohkubo, Shinichiro Yamamoto (Aichi Pref Univ.) |
(2) |
13:40-14:05 |
Information flow analysis using model checking for history-based access control programs |
Jing Wang, Nobuhiro Itoh, Yoshiaki Takata, Hiroyuki Seki (NAIST) |
(3) |
14:05-14:30 |
Anomaly Detection Using Dataflow Analysis |
Hiroki Kuzuno, Hiroyuki Seki (NAIST) |
|
14:30-14:45 |
Break ( 15 min. ) |
(4) |
14:45-15:10 |
Psuedo Method Callback in Java |
Noriki Amano (Okayama Univ) |
(5) |
15:10-15:35 |
Prediction of fault prone source code modules using text classifier |
Shiro Ikami, Shuya Nakaichi, Osamu Mizuno, Tohru Kikuno (Osaka Univ.) |
|
15:35-15:50 |
Break ( 15 min. ) |
(6) |
15:50-16:15 |
A Consideration on UML Representation of Existing Feature Models |
Yousuke Sadamatsu, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda (Kyushu Univ.) |
(7) |
16:15-16:40 |
On Delegation Based Design Method and Model Checking Method of Interrupt Processing |
Yoshinori Sugata, Shingo Yamaguchi, Ryuuich Kurisu, Minoru Tanaka (Yamaguchi Univ.) |
(8) |
16:40-17:05 |
On A Representation of A Procedural Processing Part in UML Based Visualization of Java Programs |
Yoshihiko Hotta, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto (Aichi Pref Univ.), Kunihiko Saito (Shiga Univ.) |
Fri, Feb 2 AM 09:20 - 12:30 |
(9) |
09:20-09:45 |
Extraction of Transactional Function Using Method Execution Trace Information |
Yu Morioka, Koji Taniguchi, Shinji Kusumoto, Katsuro Inoue (Osaka Univ.), Shigeo Hanabusa, Toshihisa Shibamoto, Kenichi Maeda, Michio Tsuda (Hitachi Systems & Services) |
(10) |
09:45-10:10 |
An Approach to Makeing Change Sets for Extracting Relations among Software Changes |
Takaaki Imaeda, Makoto Ichii, Yasuhiro Hayase, Makoto Matsushita, Katsuro Inoue (Osaka Univ.) |
(11) |
10:10-10:35 |
Automatic Generation of Learning Support System on Log Analysis |
Hajime Iwata (Waseda Univ.), Junko Shirogane (Tokyo Woman's Christian Univ.), Yoshiaki Fukazawa (Waseda Univ.) |
(12) |
10:35-11:00 |
Design and Implementation of an Ontology-based Health Support System |
Satoru Izumi, Dai Kuriyama, Yutaro Miura, Naofumi Yasuda, Ryo Yotsukura, Yasushi Kato, Kaoru Takahashi (SNCT) |
|
11:00-11:15 |
Break ( 15 min. ) |
(13) |
11:15-11:40 |
A Decision Making Method for Selecting Design Alternatives |
Kazuma Yamamoto, Motoshi Saeki (Tokyo Tech) |
(14) |
11:40-12:05 |
Approach and implementation of refactoring effects prediction using CK Metrics |
Yoshihiro Matsumoto, Yoshiki Higo, Shinji Kusumoto, Katsuro Inoue (Osaka Univ.) |
(15) |
12:05-12:30 |
Introducing User Interface Modeling in PLUS Product Line Development Process |
Kentaro Iwamoto, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda (Kyushu Univ.) |