| 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) Chair: Toshiki Sakabe Vice Chair: Tsuneo Ajisaka Secretary: Katsuhiko Gondow, Keiichirou Kusakari DATE: Thu, Dec 14, 2006 13:15 - 17:30 Fri, Dec 15, 2006 09:20 - 12:05 PLACE: (http://www.suisin.kyushu-u.ac.jp/info/. Kyushu Univ., MINE Tsunenori) TOPICS: general ---------------------------------------- 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) ----- 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) ----- 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.) ----- 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.) # Information for speakers General Talk will have 18 minutes for presentation and 7 minutes for discussion. === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Thu, Feb 1, 2007 - Fri, Feb 2, 2007: Aichi Prefectural Univ. [Thu, Nov 23], Topics: general # SECRETARY: KUSAKARI Keiichirou (Nagoya University) TEL 052-789-3973 FAX 052-789-3801 E-mail:      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.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[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]