IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   Prev SS Conf / Next SS Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


Technical Committee on Software Science (SS) [schedule] [select]
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 TalkEach 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.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
 

[Presentation and Participation FAQ] (in Japanese)
 
[Cover and Index of IEICE Technical Report by Issue]
 

[Return to SS Schedule Page]   /  
 
 Go Top  Go Back   Prev SS Conf / Next SS Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan