|
|
| Chair |
|
Toshiki Sakabe |
| Vice Chair |
|
Tsuneo Ajisaka |
| Secretary |
|
Katsuhiko Gondow, Keiichirou Kusakari |
|
| Conference Date |
Thu, Dec 14, 2006 13:15 - 17:30
Fri, Dec 15, 2006 09:20 - 12:05 |
| Topics |
general |
| Conference Place |
|
| Transportation Guide |
http://www.suisin.kyushu-u.ac.jp/info/ |
Contact
Person |
Kyushu Univ., MINE Tsunenori |
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.) |
| Announcement for Speakers |
| General Talk | Each speech will have 18 minutes for presentation and 7 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| SS |
Technical Committee on Software Science (SS) [Latest Schedule]
|
| Contact Address |
KUSAKARI Keiichirou (Nagoya University)
TEL 052-789-3973
FAX 052-789-3801
E- :      is    -u |
| Announcement |
Latest information will be presented on the homepage
http://www.sakabe.i.is.nagoya-u.ac.jp/ss/ |
Last modified: 2006-12-09 22:27:41
|
Notification: Mail addresses are partially hidden against SPAM.
|