Thu, Dec 14 PM 13:15 - 17:30 |
(1) |
13:15-13:40 |
The modeling for collaborative systems by Timed STDs with Time Advancing Concept |
Yuta Toyohara, Ryo Kawabata, Kiyoshi Itoh (Sophia University) |
(2) |
13:40-14:05 |
Automated Theorem Prover HOPSYS on Simply-Typed Rewriting Systems |
Akinori Kamada, Keiichirou Kusakari, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe (Nagoya Univ) |
(3) |
14:05-14:30 |
Implementing an OCL to JML Translation Tool |
Rodion Moiseev (Tokyo Inst. of Tech.), Alessandra Russo (Imperial College London) |
|
14:30-14:45 |
Break ( 15 min. ) |
(4) |
14:45-15:10 |
A Technique for Defining Model Metrics in Model Driven Development |
Motoshi Saeki (Tokyo Inst. of Tech.), Haruhiko Kaiya (Shinshu Univ.) |
(5) |
15:10-15:35 |
Improving Product Line Development Methodology PLUS |
Tsuneo Nakanishi (Kyushu Univ.), Susumu Yamazaki, Mitsunori Fujita, Naohito Yamashita (FLEETS), Shuichi Ashihara (NAL) |
(6) |
15:35-16:00 |
Integration Framework and Examination of long/mid/short-term Software Process Improvement based on Risk Observation |
Koichiro Ochimizu (JAIST) |
|
16:00-16:15 |
Break ( 15 min. ) |
(7) |
16:15-16:40 |
Extension of Automatic Visualization Tool ``Avis'' for Large Scale Programs |
Yoshihiro Kita, Tetsuro Katayama, Shigeyuki Tomita (Univ. of Miyazaki) |
(8) |
16:40-17:05 |
Supporting Method to Understand Java Programs by Visualization of the Execution History with Sequence Diagram |
Akito Takeshita, Tetsuro Katayama (Univ of Miyazaki) |
(9) |
17:05-17:30 |
A Virtual Bookshelf Disposing Scroop Images over Network |
Takuya Miyagawa, Kyohei Yamaguchi, Yoichi Omori, Daisuke Ikeda, Keijiro Araki (Kyushu Univ.) |
Fri, Dec 15 AM 09:20 - 12:05 |
(10) |
09:20-09:45 |
Security-Aware Refactoring using Information Flow |
Kensuke Tokoda, Katsuhisa Maruyama (Ritsumeikan Univ.) |
(11) |
09:45-10:10 |
Information extraction by comparing different source code and its application for reuse source code |
Yuji Konishi (Kobe Univ.), Takeshi Ogihara (Kochi Univ. of Technology) |
(12) |
10:10-10:35 |
Feature location using static infomation and revision history |
Yuki Hikawa, Makoto Matsushita, Katsuro Inoue (Osaka Univ.) |
|
10:35-10:50 |
Break ( 15 min. ) |
(13) |
10:50-11:15 |
A Very-Large Scale Code-Clone Analysis and Visualization |
Simone Livieri, Yoshiki Higo, Makoto Matsushita, Katsuro Inoue (Handai) |
(14) |
11:15-11:40 |
An implementation of the taint model witch is able to security control every object on Ruby language |
Shohei Miyazaki, Kiyotaka Atsumi (SNCT) |
(15) |
11:40-12:05 |
Sample-based Retrieval System for Java Class Library
-- Consideration of Context-sensitive Routine and Data Structure -- |
Youichi Ejima, Tetsuya Hattori, Tetsuro Kakeshita (Saga Univ.) |