| Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
| SS |
2006-12-14
13:15 |
Fukuoka |
Kyushu University |
The modeling for collaborative systems by Timed STDs with Time Advancing Concept
Yuta Toyohara, Ryo Kawabata, Kiyoshi Itoh (Sophia University) |
[more] |
SS2006-56
pp.1-5 |
| SS |
2006-12-14
13:40 |
Fukuoka |
Kyushu University |
Automated Theorem Prover HOPSYS on Simply-Typed Rewriting Systems
Akinori Kamada, Keiichirou Kusakari, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe (Nagoya Univ) |
[more] |
SS2006-57
pp.7-12 |
| SS |
2006-12-14
14:05 |
Fukuoka |
Kyushu University |
Implementing an OCL to JML Translation Tool
Rodion Moiseev (Tokyo Inst. of Tech.), Alessandra Russo (Imperial College London) |
[more] |
SS2006-58
pp.13-17 |
| SS |
2006-12-14
14:45 |
Fukuoka |
Kyushu University |
A Technique for Defining Model Metrics in Model Driven Development
Motoshi Saeki (Tokyo Inst. of Tech.), Haruhiko Kaiya (Shinshu Univ.) |
[more] |
SS2006-59
pp.19-24 |
| SS |
2006-12-14
15:10 |
Fukuoka |
Kyushu University |
Improving Product Line Development Methodology PLUS
Tsuneo Nakanishi (Kyushu Univ.), Susumu Yamazaki, Mitsunori Fujita, Naohito Yamashita (FLEETS), Shuichi Ashihara (NAL) |
[more] |
SS2006-60
pp.25-30 |
| SS |
2006-12-14
15:35 |
Fukuoka |
Kyushu University |
Integration Framework and Examination of long/mid/short-term Software Process Improvement based on Risk Observation
Koichiro Ochimizu (JAIST) |
In this paper, we propose the Integration Framework that supports us to design and improve project-specific software dev... [more] |
SS2006-61
pp.31-36 |
| SS |
2006-12-14
16:15 |
Fukuoka |
Kyushu University |
Extension of Automatic Visualization Tool ``Avis'' for Large Scale Programs
Yoshihiro Kita, Tetsuro Katayama, Shigeyuki Tomita (Univ. of Miyazaki) |
[more] |
SS2006-62
pp.37-42 |
| SS |
2006-12-14
16:40 |
Fukuoka |
Kyushu University |
Supporting Method to Understand Java Programs by Visualization of the Execution History with Sequence Diagram
Akito Takeshita, Tetsuro Katayama (Univ of Miyazaki) |
[more] |
SS2006-63
pp.43-48 |
| SS |
2006-12-14
17:05 |
Fukuoka |
Kyushu University |
A Virtual Bookshelf Disposing Scroop Images over Network
Takuya Miyagawa, Kyohei Yamaguchi, Yoichi Omori, Daisuke Ikeda, Keijiro Araki (Kyushu Univ.) |
[more] |
SS2006-64
pp.49-54 |
| SS |
2006-12-15
09:20 |
Fukuoka |
Kyushu University |
Security-Aware Refactoring using Information Flow
Kensuke Tokoda, Katsuhisa Maruyama (Ritsumeikan Univ.) |
Vulnerable software is a serious issue since it becomes a key element in the real world. We have proposed a security-awa... [more] |
SS2006-65
pp.1-6 |
| SS |
2006-12-15
09:45 |
Fukuoka |
Kyushu University |
Information extraction by comparing different source code and its application for reuse source code
Yuji Konishi (Kobe Univ.), Takeshi Ogihara (Kochi Univ. of Technology) |
[more] |
SS2006-66
pp.7-11 |
| SS |
2006-12-15
10:10 |
Fukuoka |
Kyushu University |
Feature location using static infomation and revision history
Yuki Hikawa, Makoto Matsushita, Katsuro Inoue (Osaka Univ.) |
In the software maintenance or development, we have to find the part which is implemented one feature to the software co... [more] |
SS2006-67
pp.13-18 |
| SS |
2006-12-15
10:50 |
Fukuoka |
Kyushu University |
A Very-Large Scale Code-Clone Analysis and Visualization
Simone Livieri, Yoshiki Higo, Makoto Matsushita, Katsuro Inoue (Handai) |
[more] |
SS2006-68
pp.19-24 |
| SS |
2006-12-15
11:15 |
Fukuoka |
Kyushu University |
An implementation of the taint model witch is able to security control every object on Ruby language
Shohei Miyazaki, Kiyotaka Atsumi (SNCT) |
[more] |
SS2006-69
pp.25-28 |
| SS |
2006-12-15
11:40 |
Fukuoka |
Kyushu University |
Sample-based Retrieval System for Java Class Library
-- Consideration of Context-sensitive Routine and Data Structure --
Youichi Ejima, Tetsuya Hattori, Tetsuro Kakeshita (Saga Univ.) |
[more] |
SS2006-70
pp.29-34 |